projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dd59444) | patch
Switching Options::current() to return a pointer. This helps avoid undefined behavior...
authorTim King <taking@google.com>
Fri, 23 Oct 2015 22:11:57 +0000 (15:11 -0700)
committerTim King <taking@google.com>
Sat, 24 Oct 2015 02:12:23 +0000 (19:12 -0700)
commitc9b7de773cdc53044e5cf4a55d4893d2be476b60
tree24b93deaf10909a476cb2d3c0b16e26956a57641tree
parentdd59444639796fb56b11d3852ca436fc049f39c7commit | diff
Switching Options::current() to return a pointer. This helps avoid undefined behavior due to dereferencing a null pointer in the future.
src/options/mkoptions diff | blob | history
src/options/options.h diff | blob | history
src/smt/smt_engine.cpp diff | blob | history