projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fbcb205) | patch
Two change:
authorBrian Demsky <bdemsky@uci.edu>
Tue, 2 Oct 2012 04:48:34 +0000 (21:48 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Tue, 2 Oct 2012 04:48:34 +0000 (21:48 -0700)
commit9cadc8ddfd0b4597daab0bceb6a80cdac4cfffb4
treebb08b8bea93a0a482b501965039a94e8d0e91563tree | snapshot
parentfbcb205af54b85aed7d2d9a6ed1eaa91e7d70a23commit | diff
Two change:
(1) Bug fix...  Check that rf is non-null before calling
r_modification

(2) Add a hook into assert mechanism for the debugger
common.cc diff | blob | history
common.h diff | blob | history
model.cc diff | blob | history
C11 Tester Tool Public Repository