Test Result : CtNoReductionSlTestCase

0 failures (±0)

20 tests (±0)

All Tests

Test name	Duration	Status
test[Alternative1]	0.51 sec	Passed
test[AlternativeConcurrent1]	0.55 sec	Passed
test[AlternativeRepeat1]	0.53 sec	Passed
test[Concurrent1]	0.53 sec	Passed
test[Concurrent2]	0.53 sec	Passed
test[ConcurrentAlternative1]	0.56 sec	Passed
test[ConcurrentRepeat1]	0.53 sec	Passed
test[FilteredTests]	0.52 sec	Passed
test[LetBeSt1]	0.52 sec	Passed
test[LetDef1]	0.54 sec	Passed
test[LetRec1]	0.53 sec	Passed
test[PaperCaseStudy]	0.62 sec	Passed
test[Repeat1]	0.14 sec	Passed
test[RepeatAlternative1]	0.6 sec	Passed
test[RepeatConcurrent1]	0.54 sec	Passed
test[Simple_inv]	0.52 sec	Passed
test[SingleStatement1]	0.52 sec	Passed
test[TokenArg]	0.52 sec	Passed
test[TypeFailureFirstFrame]	0.53 sec	Passed
test[XO]	0.65 sec	Passed