Switching many uses of old Schemeunit to new
svn: r18360 original commit: dd31aa951201c1c1397875d54ecc0c875f2bfc42
This commit is contained in:
parent
6409d4b79a
commit
3a4f5fb119
|
@ -1,7 +1,6 @@
|
|||
|
||||
#lang scheme/base
|
||||
(require (planet "test.ss" ("schematics" "schemeunit.plt" 2 9))
|
||||
(planet "graphical-ui.ss" ("schematics" "schemeunit.plt" 2 9)))
|
||||
(require schemeunit
|
||||
schemeunit/gui)
|
||||
(require macro-debugger/model/debug
|
||||
"gentest-framework.ss"
|
||||
"gentests.ss"
|
||||
|
@ -16,8 +15,8 @@
|
|||
"tests/collects.ss")
|
||||
(provide go)
|
||||
|
||||
(define (go) (test/graphical-ui all-tests))
|
||||
(define (collects) (test/graphical-ui big-libs-tests))
|
||||
(define (go) (test/gui all-tests))
|
||||
(define (collects) (test/gui big-libs-tests))
|
||||
|
||||
(define protos
|
||||
(list proto:kernel-forms
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
#lang scheme/base
|
||||
(require (planet "test.ss" ("schematics" "schemeunit.plt" 2 9))
|
||||
macro-debugger/model/debug
|
||||
(require schemeunit)
|
||||
(require macro-debugger/model/debug
|
||||
macro-debugger/model/stx-util
|
||||
"gentest-framework.ss"
|
||||
"test-setup.ss")
|
||||
|
@ -23,7 +23,7 @@
|
|||
(mk-test "Hiding: Reductions" checker-for-hidden-steps protos))
|
||||
|
||||
(define (mk-test label checker protos)
|
||||
(apply test-suite label
|
||||
(make-test-suite label
|
||||
(filter values
|
||||
(map (mk-gen-test checker) protos))))
|
||||
|
||||
|
@ -33,7 +33,7 @@
|
|||
[(struct collection (label contents))
|
||||
(let ([tests (filter values (map gen contents))])
|
||||
(and (pair? tests)
|
||||
(apply test-suite label tests)))]
|
||||
(make-test-suite label tests)))]
|
||||
[(struct individual (label form attrs))
|
||||
(f label form attrs)]))
|
||||
gen)
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
#lang scheme/base
|
||||
(require (planet "test.ss" ("schematics" "schemeunit.plt" 2 9))
|
||||
(planet "graphical-ui.ss" ("schematics" "schemeunit.plt" 2 9)))
|
||||
(require schemeunit
|
||||
schemeunit/gui)
|
||||
(require macro-debugger/model/debug
|
||||
scheme/path
|
||||
scheme/gui)
|
||||
|
@ -47,11 +47,11 @@
|
|||
|
||||
(define (test-libs name mods)
|
||||
(test-suite name
|
||||
(apply test-suite "Trace & Parse"
|
||||
(apply make-test-suite "Trace & Parse"
|
||||
(for/list ([m mods]) (test-lib/deriv m)))
|
||||
(apply test-suite "Reductions"
|
||||
(apply make-test-suite "Reductions"
|
||||
(for/list ([m mods]) (test-lib/hide m hide-none-policy)))
|
||||
(apply test-suite "Standard hiding"
|
||||
(apply make-test-suite "Standard hiding"
|
||||
(for/list ([m mods]) (test-lib/hide m standard-policy)))))
|
||||
|
||||
(define (test-lib/deriv m)
|
||||
|
|
|
@ -1,7 +1,6 @@
|
|||
|
||||
#lang scheme/base
|
||||
(require (planet "test.ss" ("schematics" "schemeunit.plt" 2 8))
|
||||
macro-debugger/model/debug
|
||||
(require schemeunit)
|
||||
(require macro-debugger/model/debug
|
||||
"../test-setup.ss")
|
||||
(provide specialized-hiding-tests)
|
||||
|
||||
|
|
|
@ -1,7 +1,6 @@
|
|||
#lang scheme/base
|
||||
|
||||
(require (planet "test.ss" ("schematics" "schemeunit.plt" 2 8))
|
||||
macro-debugger/model/debug
|
||||
(require schemeunit)
|
||||
(require macro-debugger/model/debug
|
||||
"../test-setup.ss")
|
||||
(provide policy-tests)
|
||||
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
#lang scheme/base
|
||||
(require (planet "test.ss" ("schematics" "schemeunit.plt" 2 8))
|
||||
macro-debugger/model/debug
|
||||
(require schemeunit)
|
||||
(require macro-debugger/model/debug
|
||||
macro-debugger/model/steps
|
||||
"../test-setup.ss")
|
||||
(provide regression-tests)
|
||||
|
|
Loading…
Reference in New Issue
Block a user