Open mtrberzi opened 9 years ago
in strRegex.cpp:
strRegex.cpp
line 397 in genUnrollConditionalOptions() is a return statement, followed by some code on line 400: litems.push_back(Z3_mk_eq(ctx, tester, moreAst));
genUnrollConditionalOptions()
litems.push_back(Z3_mk_eq(ctx, tester, moreAst));
Because of the return statement, line 400 is dead code. Perhaps this relates to the addAxiom call that was commented out on line 396?
addAxiom
The same line of code is also present in the else branch of the conditional at line 409.
else
in
strRegex.cpp:line 397 in
genUnrollConditionalOptions()is a return statement, followed by some code on line 400:litems.push_back(Z3_mk_eq(ctx, tester, moreAst));Because of the return statement, line 400 is dead code. Perhaps this relates to the
addAxiomcall that was commented out on line 396?The same line of code is also present in the
elsebranch of the conditional at line 409.