Report `AlwaysFalseConstraints` as CF errors#341

Open

d367wang wants to merge 20 commits into

opprop:masterfrom

d367wang:unsat-verify

Commits on Jul 6, 2021

add unsat verification to test infrastructure
d367wang
committed

Commits on Jul 8, 2021

update error messages for different kinds of failure
d367wang
committed

Commits on Jul 13, 2021

refactor
d367wang
committed

Commits on Jul 14, 2021

Commits on Jul 15, 2021

Commits on Jul 21, 2021

Merge branch 'master' of https://github.com/opprop/checker-framework-inference into unsat-verify
d367wang
committed

Commits on Aug 27, 2021

Commits on Aug 31, 2021

remove -Awarn flag
d367wang
committed

Commits on Sep 16, 2021

Merge branch 'master' of https://github.com/opprop/checker-framework-inference into unsat-verify
d367wang
committed

Commits on Sep 20, 2021

Merge branch 'master' of https://github.com/opprop/checker-framework-inference into unsat-verify
d367wang
committed

Commits on Jan 26, 2022

Merge branch 'master' into unsat-verify
wmdietl
authored

Commits on Apr 24, 2022