Adding Google Flags-like command-line option parsing, though implemented in C, to the main executable. The code is ported from Granary2.

examples/IntegerOverflow.cpp

@@ -41,5 +41,6 @@ TEST(SignedInteger, MultiplicationOverflow) {
 }
 
 int main(int argc, char *argv[]) {
+  DeepState_InitOptions(argc, argv);
   return DeepState_Run();
 }