test-pgm-jcf.mlw 222 Bytes
Newer Older
1

2
3
4
5
{ 
use import list.List
}

6
let p =
7
  let x = ref 0 in
8
9
  x := 1;
  assert { !x = 1 };
10
11
12
13
  label L:
  assume { !x = 2 };
  absurd : int list

14

15

16
17
18
19
20
(*
Local Variables: 
compile-command: "unset LANG; make -C ../.. testl"
End: 
*)