projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ea54c6e) | patch
Remove extraneous portion of an nl regression.
authorajreynol <andrew.j.reynolds@gmail.com>
Wed, 5 Apr 2017 14:09:55 +0000 (09:09 -0500)
committerajreynol <andrew.j.reynolds@gmail.com>
Wed, 5 Apr 2017 14:09:55 +0000 (09:09 -0500)
commitc77213eaf165746a3704204ce56915b86c5f2a7a
treef2192dd4a66c4edc880b156a0155d9583c49321atree
parentea54c6ed118928d8767c35e60d5de6c6ef877d00commit | diff
Remove extraneous portion of an nl regression.
test/regress/regress0/nl/nia-wrong-tl.smt2 diff | blob | history