repositories
/
mc1516pa.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
0b69ee6
)
fix
author
Mart Lubbers
<mart@martlubbers.net>
Wed, 20 Apr 2016 18:38:54 +0000
(20:38 +0200)
committer
Mart Lubbers
<mart@martlubbers.net>
Wed, 20 Apr 2016 18:38:54 +0000
(20:38 +0200)
modelchecker/main.c
patch
|
blob
|
history
diff --git
a/modelchecker/main.c
b/modelchecker/main.c
index
1f518eb
..
751a272
100644
(file)
--- a/
modelchecker/main.c
+++ b/
modelchecker/main.c
@@
-48,7
+48,7
@@
int solve(FILE *inputstream, char *lurd)
//Read screen
time_start_read = clock();
//Read screen
time_start_read = clock();
- sokoban_screen *screen = parse_screen(inputstream,
fals
e);
+ sokoban_screen *screen = parse_screen(inputstream,
tru
e);
if (screen == NULL) {
printf("Something went wrong encoding the screen\n");
return 2;
if (screen == NULL) {
printf("Something went wrong encoding the screen\n");
return 2;
@@
-83,8
+83,8
@@
int solve(FILE *inputstream, char *lurd)
BDD old = sylvan_false;
BDD new = init->bdd;
//Do lurd
BDD old = sylvan_false;
BDD new = init->bdd;
//Do lurd
-
while(*lurd != '\0'
){
- switch(
*lurd
){
+
for(unsigned int i = 0; i<strlen(lurd); i++
){
+ switch(
lurd[i]
){
case 'l':
new = subsolve(rls->rell, new);
break;
case 'l':
new = subsolve(rls->rell, new);
break;
@@
-98,10
+98,9
@@
int solve(FILE *inputstream, char *lurd)
new = subsolve(rls->reld, new);
break;
default:
new = subsolve(rls->reld, new);
break;
default:
- printf("Unknown character in lucd: '%c'\n",
*lurd
);
+ printf("Unknown character in lucd: '%c'\n",
lurd[i]
);
exit(2);
}
exit(2);
}
- lurd++;
}
int iteration = 0;
bool found = false;
}
int iteration = 0;
bool found = false;