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

remove non-deterministic test, junk file

Browse Source
This commit is contained in:
Burke Fetscher 2014-04-10 10:37:39 -05:00
parent 4c0a17acb0
commit bd62d865a4
2 changed files with 1 additions and 96 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

93
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/nohup.out
View File

@ -1,93 +0,0 @@
-------------------------------------------------------------------
stlc-sub/stlc-sub-1.rkt has the error: forgot the variable case
Running stlc-sub/stlc-sub-1.rkt....
Using generator: ordered
-------------------------------------------------------------------
stlc-sub/stlc-sub-1.rkt has the error: forgot the variable case
Running stlc-sub/stlc-sub-1.rkt....
Using generator: grammar
-------------------------------------------------------------------
stlc-sub/stlc-sub-1.rkt has the error: forgot the variable case
Running stlc-sub/stlc-sub-1.rkt....
Using generator: enum
-------------------------------------------------------------------
stlc-sub/stlc-sub-2.rkt has the error: wrong order of arguments to replace call
Running stlc-sub/stlc-sub-2.rkt....
Using generator: ordered
-------------------------------------------------------------------
stlc-sub/stlc-sub-2.rkt has the error: wrong order of arguments to replace call
Running stlc-sub/stlc-sub-2.rkt....
Using generator: grammar
-------------------------------------------------------------------
stlc-sub/stlc-sub-2.rkt has the error: wrong order of arguments to replace call
Running stlc-sub/stlc-sub-2.rkt....
Using generator: enum
-------------------------------------------------------------------
stlc-sub/stlc-sub-3.rkt has the error: swaps function and argument position in application
Running stlc-sub/stlc-sub-3.rkt....
Using generator: ordered
-------------------------------------------------------------------
stlc-sub/stlc-sub-3.rkt has the error: swaps function and argument position in application
Running stlc-sub/stlc-sub-3.rkt....
Using generator: grammar
-------------------------------------------------------------------
stlc-sub/stlc-sub-3.rkt has the error: swaps function and argument position in application
Running stlc-sub/stlc-sub-3.rkt....
Using generator: enum
-------------------------------------------------------------------
stlc-sub/stlc-sub-4.rkt has the error: variable not fresh enough
Running stlc-sub/stlc-sub-4.rkt....
Using generator: ordered
-------------------------------------------------------------------
stlc-sub/stlc-sub-4.rkt has the error: variable not fresh enough
Running stlc-sub/stlc-sub-4.rkt....
Using generator: grammar
-------------------------------------------------------------------
stlc-sub/stlc-sub-4.rkt has the error: variable not fresh enough
Running stlc-sub/stlc-sub-4.rkt....
Using generator: enum
-------------------------------------------------------------------
stlc-sub/stlc-sub-5.rkt has the error: replace all variables
Running stlc-sub/stlc-sub-5.rkt....
Using generator: ordered
-------------------------------------------------------------------
stlc-sub/stlc-sub-5.rkt has the error: replace all variables
Running stlc-sub/stlc-sub-5.rkt....
Using generator: grammar
-------------------------------------------------------------------
stlc-sub/stlc-sub-5.rkt has the error: replace all variables
Running stlc-sub/stlc-sub-5.rkt....
Using generator: enum
worklist:
stlc-sub/stlc-sub-1.rkt: ordered, stlc-sub/stlc-sub-1.rkt: grammar, stlc-sub/stlc-sub-1.rkt: enum, stlc-sub/stlc-sub-2.rkt: ordered, stlc-sub/stlc-sub-2.rkt: grammar, stlc-sub/stlc-sub-2.rkt: enum, stlc-sub/stlc-sub-3.rkt: ordered, stlc-sub/stlc-sub-3.rkt: grammar, stlc-sub/stlc-sub-3.rkt: enum, stlc-sub/stlc-sub-4.rkt: ordered, stlc-sub/stlc-sub-4.rkt: grammar, stlc-sub/stlc-sub-4.rkt: enum, stlc-sub/stlc-sub-5.rkt: ordered, stlc-sub/stlc-sub-5.rkt: grammar, stlc-sub/stlc-sub-5.rkt: enum
all tests finished

4
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/p-calc.rkt
View File

@ -67,9 +67,7 @@ Doesn't work well with rbtrees, which has an extremely large standard deviation.
(define stlc-path 'redex/examples/benchmark/stlc)
(define stlc-base 'redex/examples/benchmark/stlc/stlc-base)
(define stlc-gen (dynamic-require stlc-base 'generate-enum-term))
(define-values (m e) (sample-sizes stlc-gen 0.03125 100))
(check-not-false
((abs (- m 15)) . < . (* 2 e))))
(define-values (m e) (sample-sizes stlc-gen 0.03125 100)))
(define max-bug-num 20)