suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

redex: fix rvm ordered generation in n benchmark

Browse Source
This commit is contained in:
Burke Fetscher 2014-03-18 23:08:01 -05:00
parent 2d42507515
commit b540cae4df
6 changed files with 22 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-14.rkt
View File

@ -450,7 +450,8 @@
(regexp-match?
#rx"domain"
(exn-message exc)))
(printf "exception on ~s\n" e))
(printf "exception on ~s\n~s\n" e
(exn-message exc)))
#f)])
(run e '() 100))
[(cutoff) #t]
@ -477,6 +478,8 @@
(let ([index 0])
(λ ()
(begin0
(generate-term bytecode e #:i-th index)
(set! index (add1 index))))))
(test-equal
(bytecode-ok?
@ -484,7 +487,5 @@
(let-rec ((lam () (0) (application (loc-noclr 0))))
'x)))
#t)
(generate-term bytecode e #:i-th index)
(set! index (add1 index))))))
(define fixed '())

7
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-15.rkt
View File

@ -447,7 +447,8 @@
(regexp-match?
#rx"domain"
(exn-message exc)))
(printf "exception on ~s\n" e))
(printf "exception on ~s\n~s\n" e
(exn-message exc)))
#f)])
(run e '() 100))
[(cutoff) #t]
@ -474,6 +475,8 @@
(let ([index 0])
(λ ()
(begin0
(generate-term bytecode e #:i-th index)
(set! index (add1 index))))))
(test-equal
(bytecode-ok?
@ -482,7 +485,5 @@
(application (case-lam (lam (ref) () (loc-box 0)))
(loc-box 1)))))
#t)
(generate-term bytecode e #:i-th index)
(set! index (add1 index))))))
(define fixed '())

7
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-3.rkt
View File

@ -445,7 +445,8 @@
(regexp-match?
#rx"domain"
(exn-message exc)))
(printf "exception on ~s\n" e))
(printf "exception on ~s\n~s\n" e
(exn-message exc)))
#f)])
(run e '() 100))
[(cutoff) #t]
@ -472,6 +473,8 @@
(let ([index 0])
(λ ()
(begin0
(generate-term bytecode e #:i-th index)
(set! index (add1 index))))))
(test-equal
(bytecode-ok?
@ -480,7 +483,5 @@
'x
(install-value 0 'y (boxenv 0 'z))))
#t)
(generate-term bytecode e #:i-th index)
(set! index (add1 index))))))
(define fixed '())

7
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-4.rkt
View File

@ -446,7 +446,8 @@
(regexp-match?
#rx"domain"
(exn-message exc)))
(printf "exception on ~s\n" e))
(printf "exception on ~s\n~s\n" e
(exn-message exc)))
#f)])
(run e '() 100))
[(cutoff) #t]
@ -473,13 +474,13 @@
(let ([index 0])
(λ ()
(begin0
(generate-term bytecode e #:i-th index)
(set! index (add1 index))))))
(test-equal
(bytecode-ok?
'(let-one 'x
(branch #f (boxenv 0 'y) (loc-box 0))))
#t)
(generate-term bytecode e #:i-th index)
(set! index (add1 index))))))
(define fixed '())

7
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-5.rkt
View File

@ -446,7 +446,8 @@
(regexp-match?
#rx"domain"
(exn-message exc)))
(printf "exception on ~s\n" e))
(printf "exception on ~s\n~s\n" e
(exn-message exc)))
#f)])
(run e '() 100))
[(cutoff) #t]
@ -473,6 +474,8 @@
(let ([index 0])
(λ ()
(begin0
(generate-term bytecode e #:i-th index)
(set! index (add1 index))))))
(test-equal
(bytecode-ok?
@ -481,7 +484,5 @@
(let-rec ((lam () (0) 'x)) 'y)
(loc-noclr 0))))
#t)
(generate-term bytecode e #:i-th index)
(set! index (add1 index))))))
(define fixed '())

3
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-base.rkt
View File

@ -445,7 +445,8 @@
(regexp-match?
#rx"domain"
(exn-message exc)))
(printf "exception on ~s\n" e))
(printf "exception on ~s\n~s\n" e
(exn-message exc)))
#f)])
(run e '() 100))
[(cutoff) #t]