exit process when the concolic analysis has finished

MaartenS11 · MaartenS11 · commit cfb2c5d4224b · 2026-06-17T14:42:08.000+02:00
Technically it should already end but the debug thread keeps hanging around currently...
diff --git a/platforms/CLI-Emulator/main.cpp b/platforms/CLI-Emulator/main.cpp
@@ -962,6 +962,7 @@ void run_concolic(const std::vector<std::string>& snapshot_messages, int max_ins
         json_models["models"].push_back(j);
     }
     std::cout << json_models << std::endl;*/
+    exit(0);
 }
 
 int main(int argc, const char *argv[]) {

Original file line number	Diff line number	Diff line change
`@@ -962,6 +962,7 @@ void run_concolic(const std::vector<std::string>& snapshot_messages, int max_ins`
`962`	`962`	`json_models["models"].push_back(j);`
`963`	`963`	`}`
`964`	`964`	`std::cout << json_models << std::endl;*/`
	`965`	`+ exit(0);`
`965`	`966`	`}`
`966`	`967`
`967`	`968`	`int main(int argc, const char *argv[]) {`