Commit e070eb7e authored by yoogx's avatar yoogx
Browse files

* Suppress Petri Net example

parent a81aa3d1
...@@ -270,7 +270,6 @@ tests/ocarina/test004/ocarina_script.aadl ...@@ -270,7 +270,6 @@ tests/ocarina/test004/ocarina_script.aadl
tests/bound-t/rma.aadl tests/bound-t/rma.aadl
# Test for the Petri Net backend # Test for the Petri Net backend
tests/pn/test001/test.aadl 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
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