projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c304e4) | patch
Node builder tests that targetted properly detecting and handling expections have...
authorTim King <taking@cs.nyu.edu>
Mon, 1 Mar 2010 20:19:48 +0000 (20:19 +0000)
committerTim King <taking@cs.nyu.edu>
Mon, 1 Mar 2010 20:19:48 +0000 (20:19 +0000)
commit11236f077a684261f2b260e7333ba8409245ba87
tree3fd7d673194c73dd9701d5336c9e5facdf0f5409tree
parent9c304e4706cb4aa080e6dde24bab517152e5eb83commit | diff
Node builder tests that targetted properly detecting and handling expections have been changed to be debug mode. (The Assert(..) calls these checks rely on get compiled out of production mode.) Production and debug mode should now both pass make check on everything.
test/unit/expr/node_builder_black.h diff | blob | history