--- layout: fc_discuss_archives title: Message 41 from Frama-C-discuss on October 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] euklid.c



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