projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 96e5826) | patch
snapshot-interface: don't snapshot libmodel.so
authorBrian Norris <banorris@uci.edu>
Fri, 19 Apr 2013 21:47:35 +0000 (14:47 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 19 Apr 2013 21:47:35 +0000 (14:47 -0700)
commitdde52d51d6658cfa908e0b44bc4cc01edd660e9d
tree196bb2712dd6a3588a9b5cf398e39299056df81btree | snapshot
parent96e582635a31771d6d6e32ffb0fc454c6df22759commit | diff
snapshot-interface: don't snapshot libmodel.so

We don't need to snapshot our own globals; we are careful to only place
constant pointers in global memory.
snapshot-interface.cc diff | blob | history
C11 Tester Tool Public Repository