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

Comment typo. 

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5313 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 14 years ago
parent
ad132e9f00
commit
d60fcad479
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
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 2
      prism/etc/scripts/prism-auto

2
prism/etc/scripts/prism-auto
View File

@ -36,7 +36,7 @@ def lineIsCommentedOut(line):
# Get a list of models in a directory, either from a "models" file if present, # Get a list of models in a directory, either from a "models" file if present,
# or by searching for all files in the directory with an appropriate extension. # or by searching for all files in the directory with an appropriate extension.
# A "models" file is a list of (relative) path names, in which lines starting with # are ignored. # A "models" file is a list of (relative) path names, in which lines starting with # are ignored.
# If a model files "model.pm" has a matching file "model.pm.args", then the contents of this
# If a model file "model.pm" has a matching file "model.pm.args", then the contents of this
# are also appended. Multiple lines in the .args file results in multiple copies of the model file. # are also appended. Multiple lines in the .args file results in multiple copies of the model file.
# Each item of the returned list is itself a list because the model specification may be in several parts, # Each item of the returned list is itself a list because the model specification may be in several parts,
# e.g. ["model.pm", "-const", "N=2"], but the first item is always the name of the model file. # e.g. ["model.pm", "-const", "N=2"], but the first item is always the name of the model file.

Write Preview
Loading…
Cancel
Save