Commit 78a2b45

fit-alessandro-berti

committed

added test case for Woflan

1 parent 8787819 commit 78a2b45Copy full SHA for 78a2b45

1 file changed

+2849

-0

lines changed

tests/input_data
- big_wf_net.pnml

1 file changed

+2849

-0

lines changed

Comments

(0)