cryptol/tests/issues/issue148.icry.stdout

Loading module Cryptol
Loading module Cryptol
Loading module Main
Satisfiable
(\(e : [64]) -> (e @@ [8 .. 24]) != zero) 0x00feff8000000000 = True
Issue #148 is fixed now 2015-08-15 03:37:34 +03:00			`Loading module Cryptol`
			`Loading module Cryptol`
			`Loading module Main`
Add a bit more output for the Satisfiable/Counterexample cases 2020-05-23 00:40:03 +03:00			`Satisfiable`
update test with counterexample that z3 produces These sorts of tests are inherently unstable, but since Z3 seems to agree across our platforms on this one, this should help make tests quieter. 2016-01-13 03:50:22 +03:00			`(\(e : [64]) -> (e @@ [8 .. 24]) != zero) 0x00feff8000000000 = True`