← Back to branch summary

~tapaal-dist/verifypn/verifypnLTSmin

« back to all changes in this revision

Viewing changes to INPUT_MC/SharedMemory-PT-000020/ReachabilityDeadlock.txt

  • Committer: Mads Johannsen
  • Date: 2015-05-27 01:37:47 UTC
  • Revision ID: mjohan12@student.aau.dk-20150527013747-fc4uexe0yfjsw7pm
Directory cleanup and readme

Show diffs side-by-side

added added

removed removed

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