There was an error while loading. Please reload this page.
Prepack was able to prove that a condition defined by the input code cannot possibly hold.
function checker() { let x = __abstract("boolean", "true"); __assume(x); if (!x) { global.foo = 42; // This can never happen, PP0049 } }