projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 897371c) | patch
experiment with generating equality predicates across memory locations; it seems...
authorweiyu <weiyuluo1232@gmail.com>
Thu, 22 Aug 2019 20:32:44 +0000 (13:32 -0700)
committerweiyu <weiyuluo1232@gmail.com>
Thu, 22 Aug 2019 20:32:44 +0000 (13:32 -0700)
commitde0692e808050b731ea282bbf5c314f2f74cdd7e
tree661b83d34036b0fd48a053ed5b0e1377c64f2b82tree | snapshot
parent897371c3246cdfaa949c943b9b8a1d075360d6fccommit | diff
experiment with generating equality predicates across memory locations; it seems to work, but codes can be reorganized
funcnode.cc diff | blob | history
C11 Tester Tool Public Repository