Test Result : CtNoReductionSlTestCase

0 failures (±0)
20 tests (±0)
Took 11 sec.

All Tests

Test nameDurationStatus
test[Alternative1]0.54 secPassed
test[AlternativeConcurrent1]0.56 secPassed
test[AlternativeRepeat1]0.53 secPassed
test[Concurrent1]0.53 secPassed
test[Concurrent2]0.53 secPassed
test[ConcurrentAlternative1]0.55 secPassed
test[ConcurrentRepeat1]0.57 secPassed
test[FilteredTests]0.52 secPassed
test[LetBeSt1]0.59 secPassed
test[LetDef1]0.54 secPassed
test[LetRec1]0.52 secPassed
test[PaperCaseStudy]0.63 secPassed
test[Repeat1]0.66 secPassed
test[RepeatAlternative1]0.53 secPassed
test[RepeatConcurrent1]0.54 secPassed
test[Simple_inv]0.52 secPassed
test[SingleStatement1]0.51 secPassed
test[TokenArg]0.52 secPassed
test[TypeFailureFirstFrame]0.52 secPassed
test[XO]0.71 secPassed