projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e8a14a4) | patch
Check the synthesized funs of `check-synth-next`. (#7915)
authorAbdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com>
Tue, 11 Jan 2022 06:36:20 +0000 (00:36 -0600)
committerGitHub <noreply@github.com>
Tue, 11 Jan 2022 06:36:20 +0000 (06:36 +0000)
commit3c2d24457f61770601308e37294316d72c595229
treee49a3871164792ebeda64dd4cf6b79c0e1fb7829tree
parente8a14a4051212860cfc2cec195e9a297984fde0fcommit | diff
Check the synthesized funs of `check-synth-next`. (#7915)

This PR ensures that the functions synthesized by cvc5 with check-synth-next command(s) are different from the preceding ones.
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress1/sygus/incremental-stream-ex2.sy [new file with mode: 0644] blob