projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9ae0305) | patch
Fix unguarded call to get representative (#5838)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sat, 30 Jan 2021 22:25:08 +0000 (16:25 -0600)
committerGitHub <noreply@github.com>
Sat, 30 Jan 2021 22:25:08 +0000 (16:25 -0600)
commitc6a71382bad8bae30b8278055995279c36433811
tree4e9c2be8d951e51efa51cd934dac3777a13d310btree
parent9ae030595825ad57bdbf55d856627318913c2fcfcommit | diff
Fix unguarded call to get representative (#5838)

Introduced in 3234db4.
Fixes #5837, that benchmark is now unknown.
Adds an SMT-LIB benchmark that also crashes.
src/theory/quantifiers/ematching/candidate_generator.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress1/quantifiers/qs-has-term.smt2 [new file with mode: 0644] blob