projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9712043) | patch
Fixed a magical bug that only appears when compiling with clang:
authorGuy <katz911@gmail.com>
Thu, 2 Jun 2016 21:44:58 +0000 (14:44 -0700)
committerGuy <katz911@gmail.com>
Thu, 2 Jun 2016 21:44:58 +0000 (14:44 -0700)
commit207a450e9a48d6cbae663d60b35594085d1a2c01
treef897061b7417a1f6fbfffe98f1ac69b40b837f6atree
parent9712043a682572bea37099168f2c161f597b0457commit | diff
Fixed a magical bug that only appears when compiling with clang:
The assignment
      d_exprToVariableName[*it] = assignAlias(*it)

Creates an empty value for *it in d_exprToVariableName, causing the assertion in assignAlias to fail
src/proof/bitvector_proof.cpp diff | blob | history