Fix synthax tests.

emina · Mar 4, 2021 · 59079bb · 59079bb
1 parent 46d44cf
commit 59079bb
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 6 deletions.
diff --git a/test/query/grammar.rkt b/test/query/grammar.rkt
@@ -77,12 +77,11 @@
 (define (verified-equal? vars impl spec)
   (or (equal? impl spec)
       (begin 
-        (match-define `(,_ ... (define ,impl-h ,_ ...)) impl)
         (match-define `(,_ ... (define ,spec-h ,_ ...)) spec)
         (define consts
           (append (map term->datum vars)
-                  (make-list (- (length impl-h) (length vars) 1) #f)))
-        (define body `(let ([impl (lambda ,(cdr impl-h) ,@impl ,impl-h)]
+                  (make-list (- (length spec-h) (length vars) 1) #f)))
+        (define body `(let ([impl (lambda ,(cdr spec-h) ,@impl ,spec-h)]
                             [spec (lambda ,(cdr spec-h) ,@spec ,spec-h)])
                         (unsat?
                          (verify

diff --git a/test/query/synthax.rkt b/test/query/synthax.rkt
@@ -64,10 +64,9 @@
 (define (verified-equal? vars impl spec)
   (or (equal? impl spec)
       (begin 
-        (match-define `(,_ ... (define ,impl-h ,_ ...)) impl)
         (match-define `(,_ ... (define ,spec-h ,_ ...)) spec)
-        (define consts (map term->datum vars))
-        (define body `(let ([impl (lambda ,(cdr impl-h) ,@impl ,impl-h)]
+        (define consts (take (map term->datum vars) (sub1 (length spec-h))))
+        (define body `(let ([impl (lambda ,(cdr spec-h) ,@impl ,spec-h)]
                             [spec (lambda ,(cdr spec-h) ,@spec ,spec-h)])
                         (unsat?
                          (verify