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

Limit memory in all sandboxes used by the TR random tester.

Browse Source
This commit is contained in:
Vincent St-Amour 2013-05-13 11:17:36 -04:00
parent 5de08f06b4
commit a857256c77
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/tests/typed-racket/tr-random-testing.rkt
View File

@ -207,11 +207,15 @@
[else [else
E])) E]))
(define max-mem 1000)
(define num-exceptions 0) (define num-exceptions 0)
(define (mk-eval lang) (define (mk-eval lang)
(call-with-trusted-sandbox-configuration (call-with-trusted-sandbox-configuration
(λ () (make-evaluator lang #:requires '(racket/flonum racket/unsafe/ops))))) (λ ()
(parameterize ([sandbox-memory-limit max-mem])
(make-evaluator lang #:requires '(racket/flonum racket/unsafe/ops))))))
(define racket-eval (mk-eval 'racket)) (define racket-eval (mk-eval 'racket))
(define tr-eval (mk-eval 'typed/racket)) (define tr-eval (mk-eval 'typed/racket))
@ -262,7 +266,7 @@
(flush-output) ; DrDr doesn't print the above if the testing segfaults. (flush-output) ; DrDr doesn't print the above if the testing segfaults.
(call-with-limits (call-with-limits
#f 1000 #f max-mem
(lambda () (lambda ()
(redex-check tr-arith E (check-all-reals (term E)) (redex-check tr-arith E (check-all-reals (term E))
#:attempts n-attempts #:attempts n-attempts