redex: update virtual machine benchmark diffs

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/14.diff

@@ -16,12 +16,11 @@
 >   ;; bug 14
 >   [(closure-intact? (box-nc ṽ_1 ...) (imm ṽ_2 ...))
 >    (closure-intact? (ṽ_1 ...) (ṽ_2 ...))]
-474a480,486
-> 
+478a484,490
 > (test-equal
 >  (bytecode-ok?
 >    '(let-one 'x 
 >              (let-rec ((lam () (0) (application (loc-noclr 0)))) 
 >                       'x)))
 >  #t)
-\ No newline at end of file
+> 

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/15.diff

@@ -13,8 +13,7 @@
 <        `(case-lam ,@(map (curry recur depth #f) ls))]
 ---
 >        `(case-lam ,@(map (curry recur depth #t) ls))]
-474a477,484
-> 
+478a481,488
 > (test-equal
 >  (bytecode-ok?
 >    '(let-one 42 
@@ -22,4 +21,4 @@
 >                      (application (case-lam (lam (ref) () (loc-box 0))) 
 >                                   (loc-box 1)))))
 >  #t)
-\ No newline at end of file
+> 

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/3.diff

@@ -14,8 +14,7 @@
 <    (where (s_1 γ_1 η_1) (verify* (e_0 e_1 ...) (abs-push n not s) n_l* #f γ η))
 ---
 >    (where (s_1 γ_1 η_1) (verify* (e_0 e_1 ...) (abs-push n uninit s) n_l* #f γ η))
-474a475,482
-> 
+478a479,486
 > (test-equal
 >  (bytecode-ok?
 >   '(application
@@ -23,3 +22,4 @@
 >     'x
 >     (install-value 0 'y (boxenv 0 'z))))
 >  #t)
+> 

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/4.diff

@@ -7,10 +7,10 @@
 ---
 >    ;; bug 4
 >    #;(side-condition (< (term n_p) (term n_l)))]
-474a476,481
-> 
+478a480,485
 > (test-equal
 >  (bytecode-ok?
 >   '(let-one 'x
 >             (branch #f (boxenv 0 'y) (loc-box 0))))
 >  #t)
+> 

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/5.diff

@@ -7,8 +7,7 @@
 ---
 >    ;;bug 5
 >    ;;(side-condition (<= (term n) (term n_l)))
-474a476,483
-> 
+478a480,487
 > (test-equal
 >  (bytecode-ok? 
 >   '(let-void 1 
@@ -16,4 +15,4 @@
 >                      (let-rec ((lam () (0) 'x)) 'y) 
 >                      (loc-noclr 0))))
 >  #t)
-\ No newline at end of file
+>