| 626 |
|
06-Dec-2006 |
wfenske |
Improved error reporting. [] is now reported as "No", [[]] as "Yes".
For test data with N free variables for which the predicate yields M
possible sets of values, the test results are reported as
{Var1 <- value1_1, Var2 <- value1_2, ..., VarN <- value_1_N} or
{Var1 <- value2_1, Var2 <- value2_2, ..., VarN <- value_2_N} or
...
{Var1 <- valueM_1, Var2 <- valueM_2, ..., VarN <- value_M_N}
Examples:
1)
Your submission failed. Test case was: 'nth([11, 22, 33], 2, X).'
(simple)
Expected results: {X <- 22}
Received results: No
2)
Your submission failed. Test case was: 'myMember( a, [z,h,m,u,d,h]).'
(simple)
Expected results: No
Received results: Yes or Yes or Yes or Yes or Yes or Yes or Yes
(Apparently, the solution yielded true in seven different ways. Maybe
this can also be fixed.)
4)
Your submission failed. Test case was: 'max(5,2,2).' (simple)
Expected results: No
Received results: Yes
5)
Your submission failed. Test case was: 'liegt_ueber(b1,X).' (simple)
Expected results: {X <- b2} or {X <- b3} or {X <- b4} or {X <- b5}
Received results: {X <- b2} |