--- layout: fc_discuss_archives title: Message 42 from Frama-C-discuss on October 2013 ---
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 > -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20131011/31f554d9/attachment.html>