--- layout: fc_discuss_archives title: Message 50 from Frama-C-discuss on October 2013 ---
I started with a fresh Lubtutu 32-bit VM, installed opam and everything I could using opam, using 4.00.1, still getting the same error. What I have installed: user at 614v5:~/examples/basic$ ocaml -version The OCaml toplevel, version 4.00.1 user at 614v5:~/examples/basic$ ocamlopt -version 4.00.1 user at 614v5:$ more ~/.opam/4.00.1/installed alt-ergo 0.95.2 base-bigarray base base-threads base base-unix base camlp5 6.11 conf-gnomecanvas 2 conf-gtksourceview 2 coq 8.4pl2 frama-c 20130601 lablgtk 2.16.0 ocamlfind 1.4.0 ocamlgraph 1.8.3 why 2.33 why3 0.81 zarith 1.2 Weirdly, the example works fine on Mac OS X, even though I installed everything almost exactly the same way: basic$ ocaml -version The OCaml toplevel, version 4.00.1 basic$ ocamlopt -version 4.00.1 basic$ basic$ more ~/.opam/4.00.1/installed alt-ergo 0.95.2 base-bigarray base base-threads base base-unix base camlp5 6.11 conf-gnomecanvas 2 conf-gtksourceview 2 coq 8.4pl2 frama-c 20130601 lablgtk 2.16.0 ocamlfind 1.4.0 ocamlgraph 1.8.3 why 2.33 why3 0.81 zarith 1.2 The Mac is 64-bit, if that could make any difference. -Steve On Oct 11, 2013, at 8:49 AM, Nanci Naomi <nnarai at gmail.com> wrote: > Hi Stephen, > > I have not run the example and I cannot help you, but I can say the ocaml version is old. > > I have the version 4.01.0 > > Regards > > Nanci Naomi > > ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ > Treat the Earth well. It was not given to you by your parents, > it was loaned to you by your children. (Kenyan proverb) > ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ > > > > On Thu, Oct 10, 2013 at 10:53 AM, Stephen Siegel <siegel at udel.edu> wrote: > I'm doing this in linux (Ubuntu), where I do have why 2.33, and every other example I have tried works fine. But I guess I have an older ocaml? > > user at cisc614:~/614/frama-c/examples/basic$ ocaml -version > The Objective Caml toplevel, version 3.12.1 > user at cisc614:~/614/frama-c/examples/basic$ ocamlopt -version > 3.12.1 > > This is what got installed by apt-get ocaml ocaml-native-compilers. apt-get thinks all these are up-to-date. > > -s > > > > > > On Oct 10, 2013, at 8:56 AM, Claude March? <Claude.Marche at inria.fr> wrote: > > > > > I can't reproduce the problem. I've seen this error message in the past > > a long time ago. (e.g. http://bts.frama-c.com/view.php?id=1003) > > > > > > This may also depend on the version of OCaml. > > I hope it will disappear when you will install why 2.33 > > > > - Claude > > > > Le 09/10/2013 22:53, Stephen Siegel a ?crit : > >> Uncaught exception: Invalid_argument("equal: abstract value") > > > > -- > > Claude March? | tel: +33 1 72 92 59 69 > > INRIA Saclay - ?le-de-France | > > Universit? Paris-sud, Bat. 650 | http://www.lri.fr/~marche/ > > F-91405 ORSAY Cedex | > > > > > > _______________________________________________ > > Frama-c-discuss mailing list > > Frama-c-discuss at lists.gforge.inria.fr > > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss > > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20131013/245428e4/attachment.html>