[pok-devel] Ocarina bug detected

["Watney, Garth J (3496)" <garth.j.watney@xxxxxxxxxxxx>]

Hello,

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

Thanks for your help.

Garth Watney

Technical Group Supervisor for Flight Software Architecture and Applications - 3496
(818) 393 3968 - desk
(818) 426 6706 – cell

Attachment: model.aadl
Description: model.aadl

Attachment: aadl-library.aadl
Description: aadl-library.aadl