CFLP.Tests.CallTimeChoice

Documentation

tests :: Test

failure* in this test case.

ignoreFirstNarrowSecond :: Assertion

ignot :: CFLP s => Data s a -> Data s Bool -> Context (Ctx s) -> Data s Bool

sharedVarsAreEqual :: Assertion

two :: (Monad m, Generic a) => Nondet cs m a -> Nondet cs m [a]

noDemandOnSharedVar :: Assertion

sharedCompoundTerms :: Assertion

negHeads :: CFLP s => Data s [Bool] -> Context (Ctx s) -> Data s [Bool]