... | @@ -114,7 +114,7 @@ Note that the manual addition of test cases is not possible during a running deb |
... | @@ -114,7 +114,7 @@ Note that the manual addition of test cases is not possible during a running deb |
|
|
|
|
|
![image](/uploads/74470db3ea2f456778a2c72b7d0f3929/image.png)
|
|
![image](/uploads/74470db3ea2f456778a2c72b7d0f3929/image.png)
|
|
|
|
|
|
*This screenshot shows a handcrafted non entaled test case next to two saved entailed test cases from a previous debugging session*
|
|
*This screenshot shows a handcrafted non entailed test case next to two saved entailed test cases from a previous debugging session*
|
|
|
|
|
|
|
|
|
|
#### Queries View
|
|
#### Queries View
|
... | | ... | |