Test/z3api/boog31.bpl


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

type ref;

const b1:bool;
const b2:bool;
const b3:bool;

axiom (b1==true && b2==false && b3==true);

procedure  main ( ) 

{
var c: int;
assert (c==0);
}