projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a3e8a80) | patch
Fix LFSC side condition for matching premise of concat_unify (#8726)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 6 May 2022 15:48:49 +0000 (10:48 -0500)
committerGitHub <noreply@github.com>
Fri, 6 May 2022 15:48:49 +0000 (15:48 +0000)
commit595dc0f6f3efaa2f6b084bee7a57d5d399c317c7
tree93ed0892fdb5d737053da49e55a19eb5a848be7ctree
parenta3e8a80434c85d85530c5ec6d064581782c35737commit | diff
Fix LFSC side condition for matching premise of concat_unify (#8726)

Occurs in QF_SLIA/20180523-Reynolds/pyex/peterc-pyex-doc-cav17-td/pymongo/pymongo-mongoclient/cc647bd246e485aa31a4dc8978e5211a7c1336911d1bfc78b45ee679.smt2 after 464 seconds on my machine.
proofs/lfsc/signatures/strings_rules.plf diff | blob | history