Skip to content

Test common theory predicates

Test whether the common theory predicates

  • work,
  • conform to type expectations, and
  • are semi-deterministic, deterministic or non-deterministic as expected.