projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8caa7a3) | patch
only generate NULLITY predicate when it has ever been NULL; able to amend predicates...
authorweiyu <weiyuluo1232@gmail.com>
Sat, 24 Aug 2019 00:02:08 +0000 (17:02 -0700)
committerweiyu <weiyuluo1232@gmail.com>
Sat, 24 Aug 2019 00:02:08 +0000 (17:02 -0700)
commitdf978540810be6de9db3248f383d819b21ca1f79
treeb4e72e1997e8ae90d647e73dc06b7e8e9439a59ftree | snapshot
parent8caa7a3bd239c0141876f4f5a47d3910f1747e3ccommit | diff
only generate NULLITY predicate when it has ever been NULL; able to amend predicates that contain no predicate expressions
funcnode.cc diff | blob | history
funcnode.h diff | blob | history
C11 Tester Tool Public Repository