Add command line flags to disable things that are problematic for DrDr.

svn: r16751
This commit is contained in:
Sam Tobin-Hochstadt 2009-11-13 18:16:07 +00:00
parent 01058dfd26
commit a29172bc51
3 changed files with 36 additions and 8 deletions

View File

@ -44,4 +44,16 @@
(traces/ps reductions (term (- (* (sqrt 36) (/ 1 2)) (+ 1 2)))
traces-file)
(printf "Traces are in ~a~n" traces-file)
;; Check for the command line flag --no-print
;; If it's set, don't print the temporary file name,
;; This flag is so that DrDr can avoid seeing a change here.
;; -- samth
(define print-name?
(let ([print? #t])
(command-line
#:once-each
["--no-print" "omit printing of file name" (set! print? #f)])
print?))
(when print-name?
(printf "Traces are in ~a~n" traces-file))

View File

@ -565,13 +565,14 @@ reflects the (broken) spec).
args ...
(show-test-results)))]))
(define (run-tests)
(define (run-tests [run-struct-test? #t])
(tests
(when run-struct-test?
(test
'((define-struct s ())
(s? (make-s)))
'((define-struct s ())
true))
true)))
(test
'((define-struct s (a b))

View File

@ -17,4 +17,19 @@ Robby
(require redex/examples/beginner)
(collect-garbage)
(printf "Now\n")
(time (begin (run-tests) (run-tests) (run-tests)))
;; Check for the command line flag --skip-struct-test
;; If it's set, don't run the (currently-failing) test
;; for define-struct in beginner
;; This flag is so that DrDr can avoid raising an error here.
;; -- samth
(define run-struct-test?
(let ([run? #t])
(command-line
#:once-each
["--skip-struct-test" "skip failing struct test" (set! run? #f)])
run?))
(time (begin (run-tests run-struct-test?)
(run-tests run-struct-test?)
(run-tests run-struct-test?)))