Project

General

Profile

« Previous | Next » 

Revision b002efa8

IDb002efa882a13d468533c4823d72de53f275fc3f
Parent 860b962a
Child ad0b75b1

Added by Hans-Peter Deifel 9 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