mirror of
https://git.freebsd.org/ports.git
synced 2025-04-29 01:56:37 -04:00
7f087b720e
Bounded Model Checker for C and C++ programs https://github.com/diffblue/cbmc Sponsored by: Netflix
15 lines
547 B
C++
15 lines
547 B
C++
--- minisat-2.2.1/minisat/utils/Options.cc.orig 2011-02-21 13:31:17 UTC
|
|
+++ minisat-2.2.1/minisat/utils/Options.cc
|
|
@@ -43,10 +43,12 @@ void Minisat::parseOptions(int& argc, char** argv, boo
|
|
}
|
|
|
|
if (!parsed_ok)
|
|
+ {
|
|
if (strict && match(argv[i], "-"))
|
|
fprintf(stderr, "ERROR! Unknown flag \"%s\". Use '--%shelp' for help.\n", argv[i], Option::getHelpPrefixString()), exit(1);
|
|
else
|
|
argv[j++] = argv[i];
|
|
+ }
|
|
}
|
|
}
|
|
|