examples/bts/execute.mlw

   1 module Test
   2
   3     use ref.Ref
   4
   5     let foo () =
   6         let (_a1, _a2) = (ref 0, ref 0) in
   7         ()
   8
   9 (*
  10
  11 why3 execute execute.mlw Test.foo
  12
  13 *)
  14
  15 end