projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 34aa828) | patch
fix memory leak
authorBrian Demsky <bdemsky@uci.edu>
Thu, 14 Mar 2013 22:39:14 +0000 (15:39 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Thu, 14 Mar 2013 22:39:14 +0000 (15:39 -0700)
commit15762db4e64b528f90fd9bf63a901d4b56b4bc4c
treeb35f5b0da9cdbac9165b3d25342a56e5b48b3544tree | snapshot
parent34aa82864b18e6f11d806ef77e4b992c2e19f370commit | diff
fix memory leak

when we reuse nodes in the nodestack, we will recreate yield information and leak the old array...
nodestack.cc diff | blob | history
C++11 memory model checker