s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
Browse Source

Less ambitious auto file for csma. 

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@873 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 17 years ago
parent
5545eba87d
commit
9c0adc1e46
1 changed files with 1 additions and 1 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Split View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 2
      prism-examples/csma/auto

2
prism-examples/csma/auto
View File

@ -8,5 +8,5 @@ prism csma4_3.nm csma4.pctl -s
prism csma4_4.nm csma4.pctl -s
prism csma6_2.nm csma6.pctl -s
prism csma6_3.nm csma6.pctl -s
prism csma6_4.nm csma6.pctl -s
#prism csma6_4.nm csma6.pctl -s
Write Preview
Loading…
Cancel
Save