Skip to content

GitLab

Closed
Created by Siebers, Michael@michael.siebersOwner

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.