added minimum boxamount, check for crappy file

[mc1516pa.git] / modelchecker / sokoban.c

diff --git a/modelchecker/sokoban.c b/modelchecker/sokoban.c
index fd268c0..e5dfd9c 100644 (file)
--- a/modelchecker/sokoban.c
+++ b/modelchecker/sokoban.c
@@ -126,6 +126,11 @@ sokoban_screen *parse_screen(FILE *stream, bool safe)
                        x++;
                }
        }
+       if(safe == true && boxes == 0){
+               fprintf(stderr, 
+                       "Invalid screen. You need at least 1 box\n");
+               exit(1);
+       }
        if(safe == true && boxes != targets){
                fprintf(stderr, 
                        "Invalid screen. Boxes: %d, Targets: %d\n", boxes, targets);