Skip to content

Redesign the evaluation results for saved test cases

  1. Replace the "entailed" icon image with green background color for positive test cases.
  2. Replace the "not entailed" icon image with red background color for the positive test cases.
  3. Replace the "not entailed" check mark image with green background color for negative test cases.
  4. Remove the warning icon image for "entailed" negative test cases and keep the red background color.
  5. Keep the warning icon image for test cases containing unsatisfiable classes (with no background color).
  6. Add tooltip "Test case that MUST´be entailed!" and "Test case that MUST NOT be entailed!" for the according test case.
  7. Reorder the warning icon to the leftmost position in order to align the delete icons.

Example:

image

  • Apply 1. for 4th positive test case.
  • Apply 2. for the 1st positive test case.
  • Apply 3. for the 1st negative test case.
  • Apply 4. for the 3rd negative test case.
  • Apply 5. for 2nd and 3rd positive test case and for 2nd negative test case.