prism-accumulation

3693 Commits

5 Branches

0 Tags

31 MiB

Tree: c2896a7aa3

Commit Graph

Author	SHA1	Message	Date
Joachim Klein	5ed762171f	prism-tests: unsupported CTL with step bounds test cases Tweak the result strings for the CTL with step bounds cases (currently computation is not supported with any engine). Previously, an error was expected, but the properties are not actually erroneous. Additonally, the error message was not uniform between the different engines, leading to spurious failures against the exact engine.	8 years ago
Dave Parker	99c06ba2d4	Move prism-tests into this repository and update Makefile "tests" target.	8 years ago

Author

SHA1

Message

Date

Joachim Klein

5ed762171f

prism-tests: unsupported CTL with step bounds test cases

Tweak the result strings for the CTL with step bounds cases (currently
computation is not supported with any engine). Previously, an error was
expected, but the properties are not actually erroneous. Additonally, the
error message was not uniform between the different engines, leading to
spurious failures against the exact engine.

8 years ago

Dave Parker

99c06ba2d4

Move prism-tests into this repository and update Makefile "tests" target.

8 years ago

2 Commits (c2896a7aa3a8d7685545496ed094cdde7d7d6578)