projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 537bb89) | patch
Fix variable shadowing issue in sygus-inference (#4121)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 20 Mar 2020 22:29:41 +0000 (17:29 -0500)
committerGitHub <noreply@github.com>
Fri, 20 Mar 2020 22:29:41 +0000 (17:29 -0500)
commit0a0cee14c38cac0f87772c192ef387dcd36b6977
tree43b96661c05e742ff9b296439e9df20ab02cac7btree
parent537bb89c664375aa0fe0143e65d255de34bd611ccommit | diff
Fix variable shadowing issue in sygus-inference (#4121)

This makes the sygus-inference preprocessing pass avoid variable shadowing, which technically could happen by forcing unexpected options.

Fixes #4083.
src/preprocessing/passes/sygus_inference.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress1/sygus/issue4083-var-shadow.smt2 [new file with mode: 0644] blob