projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2172963) | patch
snapshot: clean up fork-based error handling
authorBrian Norris <banorris@uci.edu>
Fri, 5 Apr 2013 21:02:58 +0000 (14:02 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 5 Apr 2013 23:13:49 +0000 (16:13 -0700)
commit103b2cae595a3744095dd8432b62b138f24ec9eb
tree2bac6fffa37a526b2d263a606197b5f664a7f308tree | snapshot
parent217296360283e2a11affe53bb1c94c84814bc9f6commit | diff
snapshot: clean up fork-based error handling

This is an ugly attempt at error handling. Kill the useless variables,
reword the debug prints, and use perror().
snapshot.cc diff | blob | history
C++11 memory model checker