projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6edc4fa) | patch
Fix to ignore a case of triggers with no free variables.
authorajreynol <andrew.j.reynolds@gmail.com>
Wed, 1 Jun 2016 21:25:50 +0000 (16:25 -0500)
committerajreynol <andrew.j.reynolds@gmail.com>
Wed, 1 Jun 2016 21:25:50 +0000 (16:25 -0500)
commit324ca0376c960c75f621f0102eeaa1186589dda7
tree46a8539229fc31226b416755e6a88c18476ecffctree
parent6edc4fac0e5c868b6c6bad13ffc9112b16c1d5f5commit | diff
Fix to ignore a case of triggers with no free variables.
src/theory/quantifiers/trigger.cpp diff | blob | history
src/theory/quantifiers/trigger.h diff | blob | history
test/regress/regress0/quantifiers/Makefile.am diff | blob | history
test/regress/regress0/quantifiers/z3.620661-no-fv-trigger.smt2 [new file with mode: 0644] blob