Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / testsuite / CTLTestCases.mli @ 1d36cd07

History | View | Annotate | Download (113 Bytes)

# Date Author Comment
8d9a2669 03/27/2017 08:48 AM Hans-Peter Deifel

Add vim modelines to more files

b002efa8 03/26/2017 09:29 AM Hans-Peter Deifel

Add lots of test cases for CTL.

This imports some of the quickly decidable ctl comparision benchmark
formulas into the test suite.

The testsuite also gained a --slow parameter, that enables slower (but
still fairly fast) formulas.