summaryrefslogtreecommitdiff
path: root/test/regress/regress0/simple-rdl-definefun.smt2
AgeCommit message (Expand)Author
2018-02-15Refactor regressions (#1581)Andrew Reynolds
2010-10-08* (define-fun...) now has proper type checking in non-debug buildsMorgan Deters
2010-10-07oops, reverting a change to a regression test that had intentionally caused a...Morgan Deters
2010-10-07type checking for define-fun in production builds; related to (and might reso...Morgan Deters
2010-10-07SMT-LIBv2 (define-fun...) command now functional; does eager expansion at pre...Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback