PropLogic: Answer test results
This page exposes the results of running answer tests on STACK test cases. This page is automatically generated from the STACK unit tests and is designed to show question authors what answer tests actually do. This includes cases where answer tests currentl fail, which gives a negative expected mark. Comments and further test cases are very welcome.
PropLogic
| Test | ? | Student response | Teacher answer | Opt | Mark | Answer note | |
|---|---|---|---|---|---|---|---|
| PropLogic | 1/0 |
0 |
-1 | ATPropLogic_STACKERROR_SAns. | |||
| TEST_FAILED | |||||||
| The answer test failed to execute correctly: please alert your teacher. Division by zero. | |||||||
| PropLogic | 0 |
1/0 |
-1 | ATPropLogic_STACKERROR_TAns. | |||
| TEST_FAILED | |||||||
| The answer test failed to execute correctly: please alert your teacher. Division by zero. | |||||||
| PropLogic | true |
true |
1 | ||||
| PropLogic | true |
false |
0 | ||||
| PropLogic | A implies B |
not(A) or B |
1 | ||||
| PropLogic | (a and b and c) xor (a and b) xor (a and c) xor a xor true |
(a implies b) or c |
1 | ||||