[taste-users] Re: [pok-devel] Ocarina bug detected

[Jérôme Hugues <hugues.jerome@xxxxxxxxx>]

Hi,

Please, no need to CC: ocarina-users, as this branch of Ocarina you're using is no longer covered by TPT activities

Le 29 mars 2012 à 02:16, Watney, Garth J (3496) a écrit :

> I downloaded the Ocarina source ocarina-2.0w-20120328.tar.gz  from http://download.tuxfamily.org/taste/snapshots/sources/ocarina 
> After building and installing this I ran it on a known good model found in the pok/examples/partition-threads directory.  I have attached the model.aadl and aadl-library.aadl files.
> 
> $ ocarina -aadlv2 -f -g pok_c model.aadl $POK_PATH/misc/aadl-library.aadl
> 
> +========================== OCARINA BUG DETECTED =========================+
> | Detected exception: SYSTEM.ASSERTIONS.ASSERT_FAILURE                    |
> | Error: ocarina-me_aadl-aadl_tree-nodes.adb:2683                         |
> | Please refer to the User's Guide for more details.                      |
> +=========================================================================+
> 
> Exception name: SYSTEM.ASSERTIONS.ASSERT_FAILURE
> Message: ocarina-me_aadl-aadl_tree-nodes.adb:2683

I'm surprised: I could compile it without any problem

Can you please return the output from "ocarina -V" please?

Thanks