test_any <maven-backtracking> | 7 ms | Passed |
test_any <maven> | 5 ms | Passed |
test_any <tycho> | 5 ms | Passed |
test_any <tycho> | 5 ms | Passed |
test_any_invalidBody_142518 <maven-backtracking> | 2 ms | Passed |
test_any_invalidBody_142518 <maven> | 2 ms | Passed |
test_any_invalidBody_142518 <tycho> | 1 ms | Passed |
test_any_invalidBody_142518 <tycho> | 2 ms | Passed |
test_closure <maven-backtracking> | 14 ms | Passed |
test_closure <maven> | 13 ms | Passed |
test_closure <tycho> | 10 ms | Passed |
test_closure <tycho> | 10 ms | Passed |
test_closureValidation <maven-backtracking> | 0 ms | Passed |
test_closureValidation <maven> | 0 ms | Passed |
test_closureValidation <tycho> | 1 ms | Passed |
test_closureValidation <tycho> | 1 ms | Passed |
test_closureValidation_typeConformance_154695 <maven-backtracking> | 1 ms | Passed |
test_closureValidation_typeConformance_154695 <maven> | 1 ms | Passed |
test_closureValidation_typeConformance_154695 <tycho> | 1 ms | Passed |
test_closureValidation_typeConformance_154695 <tycho> | 1 ms | Passed |
test_closure_cycles <maven-backtracking> | 2 ms | Passed |
test_closure_cycles <maven> | 2 ms | Passed |
test_closure_cycles <tycho> | 2 ms | Passed |
test_closure_cycles <tycho> | 1 ms | Passed |
test_closure_invalidBody_142518 <maven-backtracking> | 2 ms | Passed |
test_closure_invalidBody_142518 <maven> | 2 ms | Passed |
test_closure_invalidBody_142518 <tycho> | 2 ms | Passed |
test_closure_invalidBody_142518 <tycho> | 2 ms | Passed |
test_closure_operations <maven-backtracking> | 1 ms | Passed |
test_closure_operations <maven> | 1 ms | Passed |
test_closure_operations <tycho> | 0 ms | Passed |
test_closure_operations <tycho> | 0 ms | Passed |
test_collect <maven-backtracking> | 3 ms | Passed |
test_collect <maven> | 2 ms | Passed |
test_collect <tycho> | 2 ms | Passed |
test_collect <tycho> | 2 ms | Passed |
test_collectNested <maven-backtracking> | 2 ms | Passed |
test_collectNested <maven> | 2 ms | Passed |
test_collectNested <tycho> | 2 ms | Passed |
test_collectNested <tycho> | 2 ms | Passed |
test_collectNested_invalidBody_142518 <maven-backtracking> | 2 ms | Passed |
test_collectNested_invalidBody_142518 <maven> | 1 ms | Passed |
test_collectNested_invalidBody_142518 <tycho> | 1 ms | Passed |
test_collectNested_invalidBody_142518 <tycho> | 2 ms | Passed |
test_collectNested_returns_490982 <maven-backtracking> | 6 ms | Passed |
test_collectNested_returns_490982 <maven> | 5 ms | Passed |
test_collectNested_returns_490982 <tycho> | 4 ms | Passed |
test_collectNested_returns_490982 <tycho> | 4 ms | Passed |
test_collect_empty_217461 <maven-backtracking> | 1 ms | Passed |
test_collect_empty_217461 <maven> | 0 ms | Passed |
test_collect_empty_217461 <tycho> | 0 ms | Passed |
test_collect_empty_217461 <tycho> | 1 ms | Passed |
test_collect_flattens_217461 <maven-backtracking> | 2 ms | Passed |
test_collect_flattens_217461 <maven> | 1 ms | Passed |
test_collect_flattens_217461 <tycho> | 1 ms | Passed |
test_collect_flattens_217461 <tycho> | 1 ms | Passed |
test_collect_invalidBody_142518 <maven-backtracking> | 2 ms | Passed |
test_collect_invalidBody_142518 <maven> | 2 ms | Passed |
test_collect_invalidBody_142518 <tycho> | 1 ms | Passed |
test_collect_invalidBody_142518 <tycho> | 1 ms | Passed |
test_collect_returns_490982 <maven-backtracking> | 3 ms | Passed |
test_collect_returns_490982 <maven> | 3 ms | Passed |
test_collect_returns_490982 <tycho> | 2 ms | Passed |
test_collect_returns_490982 <tycho> | 2 ms | Passed |
test_exists <maven-backtracking> | 3 ms | Passed |
test_exists <maven> | 17 ms | Passed |
test_exists <tycho> | 2 ms | Passed |
test_exists <tycho> | 1 ms | Passed |
test_existsWithNullSource_143996 <maven-backtracking> | 1 ms | Passed |
test_existsWithNullSource_143996 <maven> | 2 ms | Passed |
test_existsWithNullSource_143996 <tycho> | 1 ms | Passed |
test_existsWithNullSource_143996 <tycho> | 1 ms | Passed |
test_exists_invalidBody_142518 <maven-backtracking> | 1 ms | Passed |
test_exists_invalidBody_142518 <maven> | 1 ms | Passed |
test_exists_invalidBody_142518 <tycho> | 1 ms | Passed |
test_exists_invalidBody_142518 <tycho> | 1 ms | Passed |
test_exists_multipleIteratorVariables <maven-backtracking> | 3 ms | Passed |
test_exists_multipleIteratorVariables <maven> | 3 ms | Passed |
test_exists_multipleIteratorVariables <tycho> | 2 ms | Passed |
test_exists_multipleIteratorVariables <tycho> | 2 ms | Passed |
test_forAll <maven-backtracking> | 3 ms | Passed |
test_forAll <maven> | 3 ms | Passed |
test_forAll <tycho> | 2 ms | Passed |
test_forAll <tycho> | 2 ms | Passed |
test_forAll_invalidBody_142518 <maven-backtracking> | 16 ms | Passed |
test_forAll_invalidBody_142518 <maven> | 2 ms | Passed |
test_forAll_invalidBody_142518 <tycho> | 2 ms | Passed |
test_forAll_invalidBody_142518 <tycho> | 2 ms | Passed |
test_forAll_multipleIteratorVariables <maven-backtracking> | 3 ms | Passed |
test_forAll_multipleIteratorVariables <maven> | 2 ms | Passed |
test_forAll_multipleIteratorVariables <tycho> | 2 ms | Passed |
test_forAll_multipleIteratorVariables <tycho> | 1 ms | Passed |
test_implicitCollect_unknownAttribute_232669 <maven-backtracking> | 0 ms | Passed |
test_implicitCollect_unknownAttribute_232669 <maven> | 0 ms | Passed |
test_implicitCollect_unknownAttribute_232669 <tycho> | 1 ms | Passed |
test_implicitCollect_unknownAttribute_232669 <tycho> | 1 ms | Passed |
test_implicitCollect_unknownOperation_232669 <maven-backtracking> | 1 ms | Passed |
test_implicitCollect_unknownOperation_232669 <maven> | 1 ms | Passed |
test_implicitCollect_unknownOperation_232669 <tycho> | 0 ms | Passed |
test_implicitCollect_unknownOperation_232669 <tycho> | 0 ms | Passed |
test_invalidMultipleIteratorVariables <maven-backtracking> | 18 ms | Passed |
test_invalidMultipleIteratorVariables <maven> | 8 ms | Passed |
test_invalidMultipleIteratorVariables <tycho> | 12 ms | Passed |
test_invalidMultipleIteratorVariables <tycho> | 10 ms | Passed |
test_isUnique_126861 <maven-backtracking> | 2 ms | Passed |
test_isUnique_126861 <maven> | 2 ms | Passed |
test_isUnique_126861 <tycho> | 2 ms | Passed |
test_isUnique_126861 <tycho> | 21 ms | Passed |
test_isUnique_invalidBody_142518 <maven-backtracking> | 2 ms | Passed |
test_isUnique_invalidBody_142518 <maven> | 2 ms | Passed |
test_isUnique_invalidBody_142518 <tycho> | 2 ms | Passed |
test_isUnique_invalidBody_142518 <tycho> | 2 ms | Passed |
test_iterateWithNullSource_143996 <maven-backtracking> | 2 ms | Passed |
test_iterateWithNullSource_143996 <maven> | 1 ms | Passed |
test_iterateWithNullSource_143996 <tycho> | 1 ms | Passed |
test_iterateWithNullSource_143996 <tycho> | 1 ms | Passed |
test_iterate_143996 <maven-backtracking> | 2 ms | Passed |
test_iterate_143996 <maven> | 2 ms | Passed |
test_iterate_143996 <tycho> | 2 ms | Passed |
test_iterate_143996 <tycho> | 2 ms | Passed |
test_one <maven-backtracking> | 3 ms | Passed |
test_one <maven> | 2 ms | Passed |
test_one <tycho> | 2 ms | Passed |
test_one <tycho> | 2 ms | Passed |
test_one_invalidBody_142518 <maven-backtracking> | 2 ms | Passed |
test_one_invalidBody_142518 <maven> | 1 ms | Passed |
test_one_invalidBody_142518 <tycho> | 1 ms | Passed |
test_one_invalidBody_142518 <tycho> | 1 ms | Passed |
test_reject <maven-backtracking> | 3 ms | Passed |
test_reject <maven> | 3 ms | Passed |
test_reject <tycho> | 3 ms | Passed |
test_reject <tycho> | 2 ms | Passed |
test_reject_invalidBody_142518 <maven-backtracking> | 1 ms | Passed |
test_reject_invalidBody_142518 <maven> | 1 ms | Passed |
test_reject_invalidBody_142518 <tycho> | 1 ms | Passed |
test_reject_invalidBody_142518 <tycho> | 17 ms | Passed |
test_select <maven-backtracking> | 28 ms | Passed |
test_select <maven> | 2 ms | Passed |
test_select <tycho> | 1 ms | Passed |
test_select <tycho> | 2 ms | Passed |
test_select_invalidBody_142518 <maven-backtracking> | 2 ms | Passed |
test_select_invalidBody_142518 <maven> | 1 ms | Passed |
test_select_invalidBody_142518 <tycho> | 1 ms | Passed |
test_select_invalidBody_142518 <tycho> | 1 ms | Passed |
test_sortedBy <maven-backtracking> | 3 ms | Passed |
test_sortedBy <maven> | 2 ms | Passed |
test_sortedBy <tycho> | 1 ms | Passed |
test_sortedBy <tycho> | 2 ms | Passed |
test_sortedByRequiresComparability_192729 <maven-backtracking> | 2 ms | Passed |
test_sortedByRequiresComparability_192729 <maven> | 2 ms | Passed |
test_sortedByRequiresComparability_192729 <tycho> | 1 ms | Passed |
test_sortedByRequiresComparability_192729 <tycho> | 1 ms | Passed |
test_sortedBy_invalidBody_142518 <maven-backtracking> | 2 ms | Passed |
test_sortedBy_invalidBody_142518 <maven> | 2 ms | Passed |
test_sortedBy_invalidBody_142518 <tycho> | 1 ms | Passed |
test_sortedBy_invalidBody_142518 <tycho> | 1 ms | Passed |