Investigate differences amongst platforms in `bench/ce/floats.mlw`
The test doesn't succeed in the CI with the following diff:
Running provers on bench/ce/floats.mlw
bench/ce (CVC4,1.7)... Weakest Precondition bench/ce/floats (CVC4,1.7)... ok
bench/ce (CVC4,1.7)... Strongest Postcondition bench/ce/floats (CVC4,1.7)... ok
bench/ce (Z3,4.8.4)... Weakest Precondition bench/ce/floats (Z3,4.8.4)... ok
bench/ce (Z3,4.8.4)... Strongest Postcondition bench/ce/floats (Z3,4.8.4)... FAILED!
diff is the following:
bench/ce/floats_Z3,4.8.4_SP
183,189c183
< Counter-example model:File ieee_float.mlw:
< Line 222:
< max_int,
< [] =
< {"type" : "Integer" ,
< "val" : "0" }
< File floats.mlw:
---
> Counter-example model:File floats.mlw:
194,196c188
< "val" : {"cons" : "Float_hexa" ,
< "str_hexa" : "0x0.0000000000001p-1023" ,
< "value" : 0 } }
---
>