projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c204d45) | patch
main: fixup parameter parsing for user program
authorBrian Norris <banorris@uci.edu>
Fri, 2 Nov 2012 22:50:48 +0000 (15:50 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 2 Nov 2012 23:14:56 +0000 (16:14 -0700)
commit5a44bb763cbcb85792ea59b07175a56342b63c59
treedf1f1f554c95b3f50c816d0d07ecbe77e0fd0b7ftree | snapshot
parentc204d45f6621818bf1db92bf470baa531f0a3980commit | diff
main: fixup parameter parsing for user program

The user program expects 'optind' to be reset and for 'argv' and 'argc'
to include the program name as the first argument variable.

Note: our mmap()/mprotect()-based snapshotting does not snapshot this
'optind' global, so user-progs that use optarg() functionality might
fail.
main.cc diff | blob | history
C++11 memory model checker