[SMTChecker] Run counterexample with our semantic test framework
Open
smt
- Dominant language
- C++
- Stars
- 25.7k
- Forks
- 6.2k
- Avg merge
- 1d 11h
- Merged PRs (30d)
- 21
Description
When CHC reports a multi-tx counterexample, we could verify that counterexample via our semantic test framework.
Contributor guide
Assessment
This issue has not been assessed yet.