Commit 1ec4ad0a authored by yoogx's avatar yoogx
Browse files

* Disable safety example, requires model updates

parent e070eb7e
...@@ -273,7 +273,7 @@ tests/pn/test001/test.aadl ...@@ -273,7 +273,7 @@ tests/pn/test001/test.aadl
# Test for the REAL backend # Test for the REAL backend
examples/real/security/all.aadl examples/real/security/all.aadl
examples/real/resources/all.aadl examples/real/resources/all.aadl
examples/real/safety/model.aadl #examples/real/safety/model.aadl
tests/test_identifier/t.aadl tests/test_identifier/t.aadl
tests/example_04_03/t.aadl tests/example_04_03/t.aadl
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment