Project

General

Profile

« Previous | Next » 

Revision b002efa8

IDb002efa882a13d468533c4823d72de53f275fc3f
Parent 860b962a
Child ad0b75b1

Added by Hans-Peter Deifel 11 months ago

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.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences