projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c876bb2) | patch
action: neuter the "same_var" function for now...
authorBrian Norris <banorris@uci.edu>
Mon, 14 May 2012 18:39:24 +0000 (11:39 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 15 May 2012 17:20:57 +0000 (10:20 -0700)
commit88aed7f892145f30dc885420b5452b9761e6c2c1
treec3bc305b81681777fa0bc560eed18e62a2a82579tree | snapshot
parentc876bb25f4ec30cbc0ad2929bf5b505418fbc4f1commit | diff
action: neuter the "same_var" function for now...

Due to some incorrect functionality for 'reset_to_initial_state()' we may not
always have the right stack locations for every execution. I'll ignore the
problem temporarily...
action.cc diff | blob | history
C11 Tester Tool Public Repository