Skip to content
GitLab
Explore
Sign in
TASTE
Ocarina
Repository
ocarina
tests
pn
test001
test.aadl.out
Find file
Blame
History
Permalink
* Change output of Petri Nets to files instead of standard
· 61048977
yoogx
authored
Apr 06, 2013
output. Update reference output accordingly.
61048977