From d8d4d9712a2375bb4addbec96e8df9a95cff8a2e Mon Sep 17 00:00:00 2001
From: Burke Fetscher <bfetscher@racket-lang.org>
Date: Tue, 18 Mar 2014 23:29:33 -0500
Subject: [PATCH] redex: update virtual machine benchmark diffs

---
 .../redex-examples/redex/examples/benchmark/rvm/14.diff      | 5 ++---
 .../redex-examples/redex/examples/benchmark/rvm/15.diff      | 5 ++---
 .../redex-examples/redex/examples/benchmark/rvm/3.diff       | 4 ++--
 .../redex-examples/redex/examples/benchmark/rvm/4.diff       | 4 ++--
 .../redex-examples/redex/examples/benchmark/rvm/5.diff       | 5 ++---
 5 files changed, 10 insertions(+), 13 deletions(-)

diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/14.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/14.diff
index e5f4f37b55..8d3a6892ca 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/14.diff
+++ b/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
+> 
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/15.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/15.diff
index 13f2e125de..98b97e8a71 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/15.diff
+++ b/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
+> 
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/3.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/3.diff
index ac231db0f0..6dbe67cd82 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/3.diff
+++ b/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)
+> 
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/4.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/4.diff
index 892904a31c..90ee697298 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/4.diff
+++ b/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)
+> 
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/5.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/5.diff
index e8c7770643..7183b8509b 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/5.diff
+++ b/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
+>