projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 17f261a) | patch
Update strings proxy variable map to be context independent (#5377)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 2 Nov 2020 19:46:05 +0000 (13:46 -0600)
committerGitHub <noreply@github.com>
Mon, 2 Nov 2020 19:46:05 +0000 (13:46 -0600)
commit457b0fe003c8192e35df48cfb3528b9aefe2fd1b
treed301b0a6111d5fec5514158a7e1134ede96a99d4tree
parent17f261ab726e8cd010156234df2808d9b7af3ae0commit | diff
Update strings proxy variable map to be context independent (#5377)

This makes strings proxy variables map to be context-independent. They should be context independent since we are using attributes to mark proxy variables, which are context-independent. This led to the crash reported on #5374 since proxy variables would persist across multiple user contexts, but would be missing in the user-context dependent map.

This fixes #5374.
src/theory/strings/term_registry.cpp diff | blob | history
src/theory/strings/term_registry.h diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress1/strings/issue5374-proxy-i.smt2 [new file with mode: 0644] blob