projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d1fab60) | 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>
Wed, 14 Nov 2012 22:26:40 +0000 (14:26 -0800)
commit5e822c431b0282de735336d6ef4b055203fa1d29
tree147db1bcd1219b64c24d76794ea23061dc3117d1tree | snapshot
parentd1fab609e185bf89056da0f88030750d28bc9b32commit | 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