← Back to branch summary

~tapaal-dist/verifypn/verifypnLTSmin

« back to all changes in this revision

Viewing changes to INPUT_MC/MAPK-PT-080/ReachabilityDeadlock.txt

  • Committer: Isabella Kaufmann
  • Date: 2015-05-07 12:40:37 UTC
  • Revision ID: ikaufm12@student.aau.dk-20150507124037-ndd1i7omd2v1122l
fix igen

Show diffs side-by-side

added added

removed removed

Lines of Context:
INPUT_MC/MAPK-PT-080/ReachabilityDeadlock.txt
1
 
Property MAPK-PT-080-ReachabilityDeadlock-0
2
 
  "Automatically generated"
3
 
  is:
4
 
    E F deadlock
5
 
  end.