Revert "Temporarily allow CFG inconsistencies"

This reverts commit dca1e34cd8.
This commit is contained in:
Arthur Baars
2021-11-25 18:45:45 +01:00
parent 8e11c2c476
commit f08eb8e616
2 changed files with 0 additions and 8 deletions

View File

@@ -1,4 +0,0 @@
deadEnd
| control/cases.rb:19:13:19:19 | then ... |
| control/cases.rb:20:13:20:19 | then ... |
| control/cases.rb:21:13:21:19 | then ... |

View File

@@ -1,4 +0,0 @@
deadEnd
| cases.rb:19:13:19:19 | then ... |
| cases.rb:20:13:20:19 | then ... |
| cases.rb:21:13:21:19 | then ... |