diff options
| author | Aria Shrimpton <me@aria.rip> | 2024-02-07 20:19:47 +0000 |
|---|---|---|
| committer | Aria Shrimpton <me@aria.rip> | 2024-02-07 20:19:47 +0000 |
| commit | 5a49e3034c6c387d5cbe2e549d1afa22b5a896a6 (patch) | |
| tree | ce31b49b809e53fed48d4786e2efa42a9958a5a1 /src/racket_specs/stack-setup.rkt | |
| parent | 93c63b75a1095f7ad578d583ebda4d230fa9fce6 (diff) | |
deal with more variables in racket specs
Diffstat (limited to 'src/racket_specs/stack-setup.rkt')
| -rw-r--r-- | src/racket_specs/stack-setup.rkt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/racket_specs/stack-setup.rkt b/src/racket_specs/stack-setup.rkt index 336cf8d..e676bf8 100644 --- a/src/racket_specs/stack-setup.rkt +++ b/src/racket_specs/stack-setup.rkt @@ -4,7 +4,7 @@ (assume (and ((first pres) xs) ((second pres) xs))) (assert (prop xs))) -(define (check prop pres specs xs x) +(define (check prop pres specs xs x . rest) (unsat? (verify (check-push-pop prop pres xs)))) -(provide check)
\ No newline at end of file +(provide check) |