Lines Matching defs:sat
15 // sat.cc : a stress test for stressful testing
18 #include "sat.h"
21 Sat *sat = SatFactory();
22 if (sat == NULL) {
23 logprintf(0, "Process Error: failed to allocate Sat object\n");
27 if (!sat->ParseArgs(argc, argv)) {
28 logprintf(0, "Process Error: Sat::ParseArgs() failed\n");
29 sat->bad_status();
30 } else if (!sat->Initialize()) {
31 logprintf(0, "Process Error: Sat::Initialize() failed\n");
32 sat->bad_status();
33 } else if (!sat->Run()) {
34 logprintf(0, "Process Error: Sat::Run() failed\n");
35 sat->bad_status();
37 sat->PrintResults();
38 if (!sat->Cleanup()) {
39 logprintf(0, "Process Error: Sat::Cleanup() failed\n");
40 sat->bad_status();
44 if (sat->status() != 0) {
48 } else if (sat->errors() != 0) {
54 delete sat;
