--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on June 2020 ---
Hi, I'm not the maintainer, just a prospective user taking a look, but Frama-C hasn't been building from source in a while [1] and I couldn't find a bug for it. It fails with File "src/plugins/wp/ProverWhy3.ml", line 131, characters 29-45: 131 | Why3.(Term.t_const Number.(const_of_big_int (BigInt.of_string (Z.to_string z)))) Why3.Ty.ty_int Error: Unbound value const_of_big_int I wonder if anyone's seen this issue, and how it should be debugged or what information would be helpful for a bug report. The Debian issue has the full build log as well. Thanks, John Scott [1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=959599 -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 228 bytes Desc: This is a digitally signed message part. URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20200604/7d63c10e/attachment.sig>