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

[Frama-c-discuss] euklid.c



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>