Commit 000afd31 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Fix bench for extraction when bigint points to num instead of zarith.

parent 74f9e12f
......@@ -4,6 +4,8 @@
open Why3extract
open Test_extraction__TestExtraction
let (=) = Why3__BigInt.eq
let b42 = Why3__BigInt.of_int 42
let () = assert (test_int () = b42)
let () = assert (test_int32 () = b42)
......
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