Error when trying to make Lustrec v1.7

[kumori123]

Hi, thank you for your great work on Lustrec.
I met a problem during make Lustrec v1.7. The error message is like

 "File "tools/zustre/zustre_cex.ml", line 61, characters 19-69:
61 | 	let id = Z.to_int (Z3.Arithmetic.Integer.get_big_int (List.hd args)) in
                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: This expression has type Big_int.big_int
       but an expression was expected of type Z.t"

What can I do to resolve it?
Thank you!

[ploc]

Z3 OCaml API switched to Zarith from version 4.8.7. I suggest you update z3. Pl

…

On 21 Oct 2022, at 03:15, kumori123 ***@***.***> wrote: Hi, thank you for your great work on Lustrec. I met a problem during make Lustrec v1.7. The error message is like "File "tools/zustre/zustre_cex.ml", line 61, characters 19-69: 61 | let id = Z.to_int (Z3.Arithmetic.Integer.get_big_int (List.hd args)) in ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Error: This expression has type Big_int.big_int but an expression was expected of type Z.t" What can I do to resolve it? Thank you! — Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you are subscribed to this thread.