test files, for release if it matters..
svn: r17795
This commit is contained in:
parent
a18447e970
commit
25cd6766fa
|
@ -1,9 +1,11 @@
|
||||||
(module automatic-tests mzscheme
|
#lang scheme
|
||||||
(require "through-tests.ss"
|
|
||||||
|
(require "through-tests.ss"
|
||||||
"test-engine.ss")
|
"test-engine.ss")
|
||||||
|
|
||||||
(parameterize ([display-only-errors #t]
|
(parameterize ([display-only-errors #t]
|
||||||
[current-output-port (open-output-string)])
|
[current-output-port (open-output-string)]
|
||||||
|
[current-namespace (make-base-namespace)])
|
||||||
(if (run-all-tests-except '(bad-and bad-cons check-error begin-let-bug prims qq-splice time set! local-set! lazy1 lazy2 lazy3))
|
(if (run-all-tests-except '(bad-and bad-cons check-error begin-let-bug prims qq-splice time set! local-set! lazy1 lazy2 lazy3))
|
||||||
(exit 1)
|
(exit 1)
|
||||||
(exit 0))))
|
(exit 0)))
|
||||||
|
|
|
@ -17,3 +17,5 @@ Try programs which print snips (print-convert-test.ss)
|
||||||
try programs that contain test cases; make sure that the popups behave sensibly.
|
try programs that contain test cases; make sure that the popups behave sensibly.
|
||||||
|
|
||||||
Try jumping to the end on a program with an error.
|
Try jumping to the end on a program with an error.
|
||||||
|
** jumping to end when already at end doesn't behave properly ("no step
|
||||||
|
matching that criterion")
|
||||||
|
|
|
@ -6,8 +6,10 @@
|
||||||
lang/run-teaching-program
|
lang/run-teaching-program
|
||||||
(only-in srfi/13 string-contains)
|
(only-in srfi/13 string-contains)
|
||||||
scheme/contract
|
scheme/contract
|
||||||
#;(file "/Users/clements/clements/scheme-scraps/eli-debug.ss")
|
(file "/Users/clements/clements/scheme-scraps/eli-debug.ss")
|
||||||
"language-level-model.ss")
|
"language-level-model.ss"
|
||||||
|
;; temp:
|
||||||
|
stepper/private/annotate)
|
||||||
|
|
||||||
|
|
||||||
;; A SIMPLE EXAMPLE OF USING THIS FRAMEWORK:
|
;; A SIMPLE EXAMPLE OF USING THIS FRAMEWORK:
|
||||||
|
@ -110,6 +112,8 @@
|
||||||
))
|
))
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
;; test-sequence/many : model-or-models/c string? steps? -> (void)
|
;; test-sequence/many : model-or-models/c string? steps? -> (void)
|
||||||
;; run a given test through a bunch of language models (or just one).
|
;; run a given test through a bunch of language models (or just one).
|
||||||
|
|
||||||
|
@ -167,7 +171,6 @@
|
||||||
(show-result result error-box)
|
(show-result result error-box)
|
||||||
(car all-steps)))
|
(car all-steps)))
|
||||||
(set! all-steps (cdr all-steps)))))]
|
(set! all-steps (cdr all-steps)))))]
|
||||||
[dc1 (display (expanded-thunk))]
|
|
||||||
[iter-caller
|
[iter-caller
|
||||||
(lambda (init iter)
|
(lambda (init iter)
|
||||||
(init)
|
(init)
|
||||||
|
@ -187,7 +190,7 @@
|
||||||
(define (call-iter-on-each stx-thunk iter)
|
(define (call-iter-on-each stx-thunk iter)
|
||||||
(let* ([next (stx-thunk)]
|
(let* ([next (stx-thunk)]
|
||||||
[followup-thunk (if (eof-object? next) void (lambda () (call-iter-on-each stx-thunk iter)))])
|
[followup-thunk (if (eof-object? next) void (lambda () (call-iter-on-each stx-thunk iter)))])
|
||||||
(iter next followup-thunk)))
|
(iter (expand next) followup-thunk)))
|
||||||
|
|
||||||
|
|
||||||
(define (warn error-box who fmt . args)
|
(define (warn error-box who fmt . args)
|
||||||
|
@ -275,3 +278,6 @@
|
||||||
(lambda () (expand-teaching-program p2 read-syntax namespace-spec teachpack-specs #f module-id enable-testing?))])
|
(lambda () (expand-teaching-program p2 read-syntax namespace-spec teachpack-specs #f module-id enable-testing?))])
|
||||||
(display (expanded-thunk))
|
(display (expanded-thunk))
|
||||||
(test-sequence/core render-settings show-lambdas-as-lambdas? expanded-thunk '() (box #f)))])
|
(test-sequence/core render-settings show-lambdas-as-lambdas? expanded-thunk '() (box #f)))])
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
|
@ -13,6 +13,7 @@
|
||||||
|
|
||||||
)
|
)
|
||||||
|
|
||||||
|
|
||||||
(provide run-test run-tests run-all-tests run-all-tests-except)
|
(provide run-test run-tests run-all-tests run-all-tests-except)
|
||||||
|
|
||||||
(define list-of-tests null)
|
(define list-of-tests null)
|
||||||
|
@ -1442,7 +1443,11 @@
|
||||||
#;[show-all-steps #t])
|
#;[show-all-steps #t])
|
||||||
#;(run-tests '(check-expect forward-ref check-within check-within-bad check-error check-error-bad))
|
#;(run-tests '(check-expect forward-ref check-within check-within-bad check-error check-error-bad))
|
||||||
#;(run-tests '(teachpack-universe))
|
#;(run-tests '(teachpack-universe))
|
||||||
#;(run-tests '(check-expect check-within))
|
#;(run-tests '(simple-if))
|
||||||
(run-all-tests)))
|
(run-all-tests)))
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user