repositories
/
mc1516pa.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
checked all 1 and 2 cases
[mc1516pa.git]
/
modelchecker
/
main.c
diff --git
a/modelchecker/main.c
b/modelchecker/main.c
index
16eecbe
..
fd37c23
100644
(file)
--- a/
modelchecker/main.c
+++ b/
modelchecker/main.c
@@
-66,9
+66,11
@@
void solve(FILE *inputstream)
BDD new = init->bdd;
int iteration = 0;
while(new != old){
BDD new = init->bdd;
int iteration = 0;
while(new != old){
- ERRPRINT("Iteration %d\n", iteration++);
old = new;
old = new;
+ ERRPRINT("Iteration %d\n", iteration++);
+ ERRPRINT("Satcount: %f\n", sylvan_satcount(old, init->vars.varset));
trans_t *t = rls->rell;
trans_t *t = rls->rell;
+
while (t != NULL){
new = sylvan_or(new, sylvan_relnext(new, t->bdd, t->varset.varset));
t = t->next_rel;
while (t != NULL){
new = sylvan_or(new, sylvan_relnext(new, t->bdd, t->varset.varset));
t = t->next_rel;