Changeset 51048

Timestamp:

Feb 6, 2009, 10:04:26 AM (14 years ago)

Author:

Joachim Faulhaber

Message:

Added law based tests, bugfixes. Added tests for optimized subset superset relation.
Adapted law based tests for violation of associativity for partial absorbing Quantifiers.
Stable {msvc-9.0, partly congcc-4.3-a7}

(No files)