Closed kjcjohnson closed 1 year ago
The CHC event should include the term variable. E.g., in: (match et (($x ...))) we should emit et as, maybe, the termVariable?
(match et (($x ...)))
et
termVariable
We don't need annotations to get this information, so solvers that don't care can use unannotated benchmarks.
Fixed in #96
kjcjohnson
commented
1 year ago kjcjohnson
commented
1 year ago
The CHC event should include the term variable. E.g., in:
(match et (($x ...)))we should emitetas, maybe, thetermVariable?We don't need annotations to get this information, so solvers that don't care can use unannotated benchmarks.