| Re: [taste-users] Latest ocarina source builds but did not execute correctly?? |
[ Thread Index |
Date Index
| More lists.tuxfamily.org/taste-users Archives
]
- To: taste-users@xxxxxxxxxxxxxxxxxxx
- Subject: Re: [taste-users] Latest ocarina source builds but did not execute correctly??
- From: Jérôme Hugues <hugues.jerome@xxxxxxxxx>
- Date: Tue, 27 Mar 2012 06:58:49 +0200
- Cc: "Watney, Garth J (3496)" <garth.j.watney@xxxxxxxxxxxx>, "Evensen, Kenneth (5125)" <Kenneth.Evensen@xxxxxxxxxxxx>
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=subject:mime-version:content-type:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to:x-mailer; bh=CyfcvOT3iFqdHA88zCFlSTVjIjfcCd0VyNWdIRfnRJQ=; b=Lhc87elyZTgvXHCKV5PYX/2x5e5nD3Cgz8dSs1UytYxKoOvPkFOOYkXgLVUyyDPxs4 JluS7WtClC5tjBt6IT7CZV/CnZBFFGmXIsJyAkk42k5WiSLzzh68lKjPcOcfN+2xJfSi wgxv/nOz3cXJkhhSQL0JevvxSuX0UNJ9mSohQyA2TUsIJQKesbw+LE0gUMTx9q0gsSUd N29jjGfIHYJ6H48D6IDeOu1prrNKL45mDBbSOL3qoi6IpPI1mU/2dYq8puUe8QYR/kOS PKB/k/+5DzYBVaQZTJUXz1IptmY9lUrEkb/TQXGB7mD31Tff4UGOupqGnPPUcUULlKi0 swmA==
Hi Leonard,
As mentioned here: http://pok.safety-critical.net/ in the right corner
04/12/2011: POK users: if you plan to use POK with the Ocarina AADL toolsuite, please make sure you use the appropriate toolchain available atthe TASTE sources repository, sources and binaries available on TELECOM Paristech are no longer supported. More information in the FAQ, installation instructions are also available here.
Please use only the version provided through TASTE website
Regards
Le 27 mars 2012 à 01:28, Reder, Leonard J (3496) a écrit :
> Hello,
>
> I just obtained the new ocarina for linux from http://aadl.enst.fr/ocarina/snapshots/. I find that the binary seems to work fine with POK examples but when I attempt to use my build of it I get the following exception.
>
> xxxxxxx:/home/reder/src/pok-20111205/examples/partitions-threads$/home/reder/bin/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 have attached the config.log and config.status files so you can have a look as well. Please advise since we would like to be able to build and execute the tool from source.
>
> Thanks,
>
> Len
> -----------------------------------------
> Leonard J. Reder
> Jet Propulsion Laboratory
> Flight Software Applications
> Email: reder@xxxxxxxxxxxx
> Phone: 818-354-3639
> -----------------------------------------
>
> <config.log><config.status>