Dave Parker
2a609cb942
Better error message for unexpected non-exception.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4640 bbc10eb1-c90d-0410-af57-cb519fbb1720
14 years ago
Dave Parker
1955392c65
Test mode can expect exceptions, e.g. using:
// RESULT: Error
It can also check for the presence of one or more words appearing in the error message, e.g.:
// RESULT: Error:non-positive,divisor
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4639 bbc10eb1-c90d-0410-af57-cb519fbb1720
14 years ago
Dave Parker
ac31984b5a
Fix type checking for property references (and some autoformatting - oops).
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4500 bbc10eb1-c90d-0410-af57-cb519fbb1720
14 years ago
Dave Parker
148f2b814e
Fix in numerical value comparison for -test checks.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4310 bbc10eb1-c90d-0410-af57-cb519fbb1720
14 years ago
Dave Parker
086bb3243d
RESULT label for test properties can be NaN.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4305 bbc10eb1-c90d-0410-af57-cb519fbb1720
14 years ago
Dave Parker
41f38a34fc
Added ability to have multiple RESULT test specifications for different constant values, e.g. "RESULT (x=1,y=2): 0.5".
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3285 bbc10eb1-c90d-0410-af57-cb519fbb1720
15 years ago
Dave Parker
8465fdeb07
Property names parsed (but not used) and -test switch added (but no property/verify blocks yet).
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3096 bbc10eb1-c90d-0410-af57-cb519fbb1720
15 years ago
Dave Parker
ce4b0beb1e
Undoing last commit.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3079 bbc10eb1-c90d-0410-af57-cb519fbb1720
15 years ago
Dave Parker
bcab165234
Use gcc-3 etc by default when building on Cygwin.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3078 bbc10eb1-c90d-0410-af57-cb519fbb1720
15 years ago