tests/test_ocarina_help
tests/test_ocarina_config
tests/test_ocarina_gpr
tests/osate-flow-impls/FlowImpls.aadl
tests/osate-flow-impl-modes/FlowImplModes.aadl
tests/osate2-t02/t2.aadl
tests/osate-parameter-connections/ParameterConnections.aadl
tests/osate-access-matching/AccessMatching.aadl
tests/osate-aggregate-port-group/AggregatePortGroup.aadl
tests/test006/test.aadl
tests/test_tree_i/test.aadl
tests/test023/test.aadl
tests/osate-modal-connections/ModalConnections.aadl
tests/osate-inverse-of-chains/InverseOfChains.aadl
tests/osate2-t10/t10.aadl
tests/flow-huge/huge_flow_example.aadl
tests/osate-port-group-connection/PortGroupConnection.aadl
tests/test030/test.aadl
tests/osate-package-section/PackageSection.aadl
tests/osate2-t16/t16.aadl
tests/test_aadl_min/fcs.aadl
tests/osate2-t11/t11.aadl
tests/test027/test.aadl
tests/test_tree_p/test.aadl
tests/test_tree_p2/test.aadl
tests/osate-flow-dirs/FlowDirs.aadl
tests/osate-access-connection-multidest/AccessConnectionsMultiDest.aadl
tests/test005/test.aadl
tests/test032/test.aadl
tests/osate2-t03/t3.aadl
tests/osate2-t12/t12.aadl
tests/osate2-t05/t5.aadl
tests/test015/test.aadl
tests/test021/abstract-component.aadl
tests/test019/virtual-processor.aadl
#tests/test007/test.aadl
tests/test001/test.aadl
tests/osate-multiple-sources/MultipleSources.aadl
tests/osate-connection-modes-and-transitions/ConnectionModesAndTransitions.aadl
tests/osate2-t07/t7.aadl
tests/test013/TestEndToEndFlowFlow.aadl
tests/test013/TestFlowImplementations.aadl
tests/osate-deterministic-transitions/DeterministicTransitions.aadl
tests/test003/test.aadl
tests/osate-parameter-connection-types/ParameterConnectionTypes.aadl
tests/test025/test_flow_refinement_err.aadl
tests/test025/test_flow_connection_refinements.aadl
tests/test025/test_flow_implementation_err.aadl
tests/test025/test_flow_expansion.aadl
tests/osate-end-to-end/EndToEnd.aadl
tests/osate-port-group-inverse/PortGroupInverse.aadl
tests/test016/test.aadl
tests/osate2-t13/t13.aadl
tests/osate-server-subprogram/ServerSubprogram.aadl
tests/osate2-t17/t17.aadl
tests/osate-dispatch-port/DispatchPort.aadl
tests/test017/modes.aadl
tests/test017/modes_err.aadl
tests/osate2-t09/t9.aadl
tests/osate2-t04/t4.aadl
tests/osate-call-seq-and-modes/call_seqs_and_modes.aadl
tests/dia/testSimple.aadl
tests/dia/test2.aadl
tests/osate-multi-refinement/MultiRefinement.aadl
tests/osate-parameter-connection-modes/ParameterConnectionModes.aadl
tests/osate-subcomponent-access/SubcomponentAccess.aadl
tests/test028/test.aadl
tests/osate-data-connections/DataConnections.aadl
tests/osate-bogus-refinement/BogusRefinement.aadl
tests/test024/test.aadl
tests/osate-initial-mode/InitialMode.aadl
tests/osate2-t06/t6.aadl
tests/osate2-t08/t8.aadl
tests/osate-port-refinement/PortRefinement.aadl
tests/osate-modal-parameter-connection/ModalParameterConnection.aadl
tests/osate-access-connection-types/AccessConnectionTypes.aadl
tests/fcs/fcs.aadl
tests/test014/test.aadl
tests/test012/test.aadl
tests/osate-bug68/Bug68.aadl
#tests/test011/test.aadl
tests/osate-modal-parameter-connection2/ModalParameterConnection2.aadl
tests/osate2-t15/t15.aadl
tests/test029/test.aadl
tests/test033/test_err.aadl
tests/flow-rc-integrated/RC_Integrated.aadl
tests/osate-connection-category/ConnectionCategory.aadl
tests/osate-call-ordering/CallOrdering.aadl
tests/osate-connection-directions/ConnectionDirections.aadl
tests/osate2-t01/t1.aadl
#tests/test010/test.aadl
tests/test034/test.aadl
tests/test035/unqualified_names.aadl
tests/test037/model.aadl
tests/test038/model.aadl
tests/osate2-t14/t14.aadl
tests/test022/subprogramgroup-component.aadl
tests/osate-circular-extension/CircularExtension.aadl
tests/osate-mode-transition-ports/ModeTransitionPorts.aadl
tests/osate-inverse-of-extensions/InverseOfExtenstions.aadl
tests/test008/test.aadl
tests/osate-access-connection-directions/AccessConnectionDirections.aadl
tests/test018/subclause_prop.aadl
tests/test026/test.aadl
tests/test004/test.aadl
tests/SAE-standard-examples-09152005/subprogramexample.aadl
tests/SAE-standard-examples-09152005/portsnaccess.aadl
tests/SAE-standard-examples-09152005/dataexample.aadl
tests/SAE-standard-examples-09152005/modesexample.aadl
tests/SAE-standard-examples-09152005/connectionexamples.aadl
tests/SAE-standard-examples-09152005/SystemOperationexample.aadl
tests/SAE-standard-examples-09152005/busexample.aadl
tests/SAE-standard-examples-09152005/section4.aadl
tests/SAE-standard-examples-09152005/flowsexamples.aadl
tests/SAE-standard-examples-09152005/propertiesexample.aadl
tests/test009/test.aadl
tests/test020/virtual-bus.aadl
tests/osate-port-group-connections/PortGroupConnections.aadl
tests/osate-parameter-refinement/ParameterRefinement.aadl
tests/SAE-test-examples-09152005/TestContainedPAuniqueness.aadl
tests/SAE-test-examples-09152005/SignsAndReferences.aadl
tests/SAE-test-examples-09152005/MoreModes.aadl
tests/SAE-test-examples-09152005/TestSubcomponent2.aadl
tests/SAE-test-examples-09152005/TestEnumConstants.aadl
tests/SAE-test-examples-09152005/NotABug.aadl
tests/SAE-test-examples-09152005/TestSubprogramSubcomponents.aadl
#tests/SAE-test-examples-09152005/testpgtinverse.aadl
tests/SAE-test-examples-09152005/TestUnits.aadl
tests/SAE-test-examples-09152005/TestComponentImpl.aadl
tests/SAE-test-examples-09152005/TestComponentType-Lists.aadl
tests/SAE-test-examples-09152005/TestSubprogramAsFeature.aadl
tests/SAE-test-examples-09152005/TestRangeConstants.aadl
tests/SAE-test-examples-09152005/CircularRefs.aadl
tests/SAE-test-examples-09152005/PetersBug.aadl
tests/SAE-test-examples-09152005/ConstantPropertyAssoc.aadl
tests/SAE-test-examples-09152005/TestBooleanConstants.aadl
tests/SAE-test-examples-09152005/TestComponentType-Lists2.aadl
tests/SAE-test-examples-09152005/TestServerSubprogram.aadl
tests/SAE-test-examples-09152005/TestRanges.aadl
tests/SAE-test-examples-09152005/TestConstantDefns.aadl
tests/SAE-test-examples-09152005/Test.aadl
tests/SAE-test-examples-09152005/NumValues.aadl
tests/SAE-test-examples-09152005/TestScalarIssues.aadl
tests/SAE-test-examples-09152005/expandsemanticconnections.aadl
tests/SAE-test-examples-09152005/PropTests.aadl
tests/SAE-test-examples-09152005/PetersBug2.aadl
tests/SAE-test-examples-09152005/TestComputeEntryPoint.aadl
tests/SAE-test-examples-09152005/IndirectValueInModes.aadl
tests/SAE-test-examples-09152005/TestComponentType.aadl
tests/SAE-test-examples-09152005/ValueModes.aadl
tests/SAE-test-examples-09152005/subprogramouteventtest.aadl
tests/SAE-test-examples-09152005/EmptyListDefaultValue.aadl
#tests/SAE-test-examples-09152005/TestPortGroupType.aadl
tests/SAE-test-examples-09152005/TestReferences.aadl
tests/SAE-test-examples-09152005/TestAppliesTo.aadl
tests/SAE-test-examples-09152005/TestMode.aadl
tests/SAE-test-examples-09152005/TestUniquePropertyAssociation.aadl
tests/SAE-test-examples-09152005/TestFlowSpec.aadl
tests/SAE-test-examples-09152005/Bug.aadl
tests/SAE-test-examples-09152005/TestPropertyAssocs.aadl
tests/SAE-test-examples-09152005/testpropertyconstant.aadl
tests/SAE-test-examples-09152005/TestComponentType-Lists3.aadl
tests/SAE-test-examples-09152005/TestConnection.aadl
tests/SAE-test-examples-09152005/MultipleModes.aadl
tests/SAE-test-examples-09152005/TestRangesWithReferences.aadl
tests/SAE-test-examples-09152005/TestRefinesType.aadl
tests/SAE-test-examples-09152005/TestNumericResolver.aadl
tests/SAE-test-examples-09152005/TestContainedPA.aadl
tests/SAE-test-examples-09152005/TestInModes.aadl
tests/SAE-test-examples-09152005/ModalSubComponents.aadl
tests/SAE-test-examples-09152005/TestFeature.aadl
tests/SAE-test-examples-09152005/TestProp.aadl
tests/SAE-test-examples-09152005/TestAccessAssociations.aadl
tests/SAE-test-examples-09152005/FunnyModes.aadl
tests/SAE-test-examples-09152005/TestPeriodic.aadl
tests/SAE-test-examples-09152005/testportgroups.aadl
tests/SAE-test-examples-09152005/TestAppliesToClassifier.aadl
tests/SAE-test-examples-09152005/IgnoresAppliesTo.aadl
tests/SAE-test-examples-09152005/EvenMoreModes.aadl
tests/SAE-test-examples-09152005/testpublicprivate.aadl
tests/SAE-test-examples-09152005/testrange.aadl
tests/SAE-test-examples-09152005/TestFlowSequence.aadl
tests/SAE-test-examples-09152005/TestDefaultValues.aadl
#tests/SAE-test-examples-09152005/testconnections.aadl
tests/SAE-test-examples-09152005/ModalComponents.aadl
tests/SAE-test-examples-09152005/testtyperefs.aadl
tests/SAE-test-examples-09152005/TestQueueSize.aadl
tests/SAE-test-examples-09152005/testsubcomp.aadl
tests/SAE-test-examples-09152005/TestSubComponents.aadl
tests/SAE-test-examples-09152005/flowtest.aadl
tests/SAE-test-examples-09152005/MultipleModes-ModalSubComponents.aadl
tests/SAE-test-examples-09152005/TestDefaultEmptyList.aadl
tests/SAE-test-examples-09152005/TestAccess.aadl
tests/SAE-test-examples-09152005/ConstantsWithUnits.aadl
tests/SAE-test-examples-09152005/TestMaxAadlInteger.aadl
tests/SAE-test-examples-09152005/underscoretest.aadl
tests/test002/test.aadl
tests/test031/test_package_err.aadl
tests/test039/test.aadl
tests/SAE-standard-examples-01192009/example_001.aadl
tests/SAE-standard-examples-01192009/example_002.aadl
tests/SAE-standard-examples-01192009/example_003.aadl
tests/SAE-standard-examples-01192009/example_004.aadl
tests/SAE-standard-examples-01192009/example_005.aadl
tests/SAE-standard-examples-01192009/example_006.aadl
tests/SAE-standard-examples-01192009/example_007.aadl
tests/SAE-standard-examples-01192009/example_008.aadl
tests/SAE-standard-examples-01192009/example_009.aadl
tests/SAE-standard-examples-01192009/example_010.aadl
tests/SAE-standard-examples-01192009/example_011.aadl
tests/SAE-standard-examples-01192009/example_012.aadl
tests/SAE-standard-examples-01192009/example_013.aadl
tests/SAE-standard-examples-01192009/example_014.aadl
tests/SAE-standard-examples-01192009/example_015.aadl
tests/SAE-standard-examples-01192009/example_016.aadl
tests/SAE-standard-examples-01192009/example_017.aadl
tests/SAE-standard-examples-01192009/example_018.aadl
tests/SAE-standard-examples-01192009/example_019.aadl
tests/SAE-standard-examples-01192009/example_020.aadl
tests/SAE-standard-examples-01192009/example_021.aadl
tests/SAE-standard-examples-01192009/example_022.aadl
tests/SAE-standard-examples-01192009/example_023.aadl
tests/SAE-standard-examples-01192009/example_024.aadl
tests/SAE-standard-examples-01192009/example_025.aadl
tests/SAE-standard-examples-01192009/example_026.aadl
tests/SAE-standard-examples-01192009/example_027.aadl
tests/SAE-standard-examples-01192009/example_028.aadl
tests/SAE-behaviour_annex-04202009/ba_example_001.aadl
tests/SAE-behaviour_annex-04202009/ba_example_002.aadl
tests/SAE-behaviour_annex-04202009/ba_example_003.aadl
#tests/SAE-behaviour_annex-04202009/ba_example_004.aadl
tests/SAE-behaviour_annex-04202009/ba_example_005.aadl
#tests/SAE-behaviour_annex-04202009/ba_example_006.aadl
tests/SAE-behaviour_annex-04202009/ba_example_007.aadl
tests/test040/test.aadl
tests/test041/test.aadl
tests/test042/test.aadl
tests/test043/test.aadl
tests/real-annexes-parsing/test_real_parse_01.aadl
tests/real-annexes-parsing/test_real_parse_02.aadl
tests/real-annexes-parsing/test_real_parse_03.aadl
tests/real-annexes-parsing/test_real_parse_04.aadl
tests/real-annexes-parsing/test_real_parse_05.aadl
tests/real-annexes-parsing-environment/test_real_parse_env_01.aadl
tests/real-annexes-execution/test_real_exec_01.aadl
tests/real-annexes-execution/test_real_exec_02.aadl
tests/real-annexes-execution/test_real_exec_03.aadl
tests/real-annexes-execution/test_real_exec_04.aadl
tests/real-annexes-execution/test_real_exec_05.aadl
tests/real-annexes-execution/test_real_exec_06.aadl
tests/real-annexes-execution-environment/test_real_exec_env_01.aadl
tests/real_units/validation.aadl
tests/real_requires/test.aadl
tests/real_requires_2/test.aadl
tests/real_requires_3/test.aadl
tests/ticket_46/test.aadl
tests/ticket_48/test.aadl
tests/package_annex/test.aadl

# Pre-declared property sets AADL_v1
resources/AADLv1
# Pre-declared property sets AADL_v2
resources/AADLv2
# Generic test for Ocarina command line
tests/ocarina/test001/test.aadl
tests/ocarina/test002/test.aadl
tests/ocarina/test003/test.aadl
tests/ocarina/test004/ocarina_script.aadl
# Test for the Bound-T backend
tests/bound-t/rma.aadl
# Test for the Petri Net backend
tests/pn/test001/test.aadl
examples/petri_net/robot/robot.aadl
# Test for the REAL backend
examples/real/security/all.aadl
examples/real/resources/all.aadl
examples/real/safety/model.aadl

tests/test_identifier/t.aadl
tests/example_04_03/t.aadl
tests/example_04_05_1/t.aadl

tests/github/issue_1/test.aadl