diff options
Diffstat (limited to 'src/racket_specs/container-setup.rkt')
| -rw-r--r-- | src/racket_specs/container-setup.rkt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/racket_specs/container-setup.rkt b/src/racket_specs/container-setup.rkt index 0d5cd79..38e01c8 100644 --- a/src/racket_specs/container-setup.rkt +++ b/src/racket_specs/container-setup.rkt @@ -35,7 +35,7 @@ (define (check-not-contradict prop pre xs) (assert (and (prop xs) (pre xs) (> (length xs) 1)))) -(define (check prop pres specs xs x) +(define (check prop pres specs xs x . rest) (cond [(or (unsat? (solve (check-not-contradict prop (first pres) xs))) (unsat? (solve (check-not-contradict prop (second pres) xs))) @@ -52,4 +52,4 @@ (unsat? (verify (check-spec-remove prop (sixth pres) (sixth specs) xs x))) )])) -(provide check)
\ No newline at end of file +(provide check) |