mirror of
https://github.com/AdaCore/why3.git
synced 2026-02-12 12:34:55 -08:00
16 lines
149 B
Plaintext
16 lines
149 B
Plaintext
module Test
|
|
|
|
use ref.Ref
|
|
|
|
let foo () =
|
|
let (_a1, _a2) = (ref 0, ref 0) in
|
|
()
|
|
|
|
(*
|
|
|
|
why3 execute execute.mlw Test.foo
|
|
|
|
*)
|
|
|
|
end
|