projects
/
u
/
mdw
/
catacomb
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
pgen_safetest: Use a separate witness for each test.
[u/mdw/catacomb]
/
pgen-safe.c
diff --git
a/pgen-safe.c
b/pgen-safe.c
index
115f7b4
..
bd644dc
100644
(file)
--- a/
pgen-safe.c
+++ b/
pgen-safe.c
@@
-180,10
+180,12
@@
int pgen_safetest(int rq, pgen_event *ev, void *p)
rc = PGEN_TRY;
break;
case PGEN_TRY: {
rc = PGEN_TRY;
break;
case PGEN_TRY: {
- mp *m = mprand_range(MP_NEW, c->c.
q
.m, ev->r, 0);
+ mp *m = mprand_range(MP_NEW, c->c.
p
.m, ev->r, 0);
rc = rabin_test(&c->p, m);
rc = rabin_test(&c->p, m);
- if (rc == PGEN_PASS)
+ if (rc == PGEN_PASS) {
+ m = mprand_range(m, c->c.q.m, ev->r, 0);
rc = rabin_test(&c->q, m);
rc = rabin_test(&c->q, m);
+ }
mp_drop(m);
} break;
case PGEN_DONE:
mp_drop(m);
} break;
case PGEN_DONE: