[Symex] Fix problem which might occur in hasContradiction when using backward resolution#69

Draft

dawa6183 wants to merge 1 commit into

uuverifiers:masterfrom

dawa6183:contradictionBug

Commits on Nov 6, 2024

Fixes bug in hasContradiction which could be reached when using backward resolution. In the previous code "False :- P(..) /\ c" was considered to be a contradiction if c was satisfiable. It did not…
wallgrenen
committed