Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / testsuite / ctl @ 1d36cd07

Name Size
README.md 783 Bytes
formulas_to_ocaml.sh 609 Bytes

Latest revisions

# Date Author Comment
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.

View revisions

Also available in: Atom