Fixed typo authored by Wolfgang Schmid's avatar Wolfgang Schmid
...@@ -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
... ...
......