cryptol/tests/issues/issue093.cry

mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-18 05:21:57 +03:00
property t0 = True
property t1 x = x == (x : [32])
property t2 x y = if (x : [32]) < (y : [32]) then y != zero else True
not_a_prop = True
implicit :prove all properties when no argument given closes #93 2014-09-09 23:27:46 +04:00			`property t0 = True`
			`property t1 x = x == (x : [32])`
			`property t2 x y = if (x : [32]) < (y : [32]) then y != zero else True`
			`not_a_prop = True`