tests/test-jcf.why

   1
   2 theory T
   3
   4   type t = None | Some int
   5
   6   goal G: forall x: t. x <> None ->
   7           match x with None -> false | Some z -> z = 0 end
   8
   9 end
  10
  11 (*
  12 Local Variables:
  13 compile-command: "make -C .. tests/test-jcf.gui"
  14 End:
  15 *)
  16