projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4e1be00) | patch
Removing a null pointer reference that was found by -fsanitize=null.
authorTim King <taking@google.com>
Thu, 5 May 2016 17:35:04 +0000 (10:35 -0700)
committerTim King <taking@google.com>
Thu, 5 May 2016 17:35:04 +0000 (10:35 -0700)
commita2923ec61b601b0e3f4f78f22fffc1c2421f0d81
treed38227e6c5baf5432868bfe1f9e27874dfecabfdtree
parent4e1be00c7dd4c02cb35f88d81dd6ba7213ef3c2acommit | diff
Removing a null pointer reference that was found by -fsanitize=null.
src/parser/cvc/Cvc.g diff | blob | history