repositories
/
mc1516pa.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
on the way to path extracting
[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);