2 PP0040

Sapan Bhatia edited this page 2018-08-17 19:32:31 -07:00

Table of Contents

• Assumed condition cannot hold

Assumed condition cannot hold

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
  }
}