git.libre-soc.org Git - cvc5.git/commit

author	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Fri, 3 Jun 2022 20:02:16 +0000 (15:02 -0500)
committer	GitHub <noreply@github.com>
	Fri, 3 Jun 2022 20:02:16 +0000 (20:02 +0000)
commit	846189ff975b206326edc1540578c3f8df72138c
tree	944b70fc84b298db8110f2e9cd6372945044c2af	tree
parent	7b8fb66753f2f2fc02a4bab5faf4bc21802cf1e9	commit \| diff

Fix check for whether a term contains an uninterpreted constant (#8845)

Fixes #8842.

We now say "unknown" for the benchmark on that issue.