Commit 519e823c authored by MARCHE Claude's avatar MARCHE Claude

test on booleans

parent b459d3a2
module TestBool
use import bool.Bool
let f (x:bool) : bool
ensures { result = True }
=
if x then False else x
end
module M
use import int.Int
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment