parent
5daba5bf73
commit
c326c21b73
|
@ -15,7 +15,6 @@
|
||||||
"pict-lib"
|
"pict-lib"
|
||||||
"redex-gui-lib"
|
"redex-gui-lib"
|
||||||
"redex-benchmark"
|
"redex-benchmark"
|
||||||
"math-lib"
|
|
||||||
"rackunit-lib"))
|
"rackunit-lib"))
|
||||||
|
|
||||||
(define pkg-desc "documentation part of \"redex\"")
|
(define pkg-desc "documentation part of \"redex\"")
|
||||||
|
|
|
@ -1,5 +1,4 @@
|
||||||
#lang racket
|
#lang racket/base
|
||||||
(require math/statistics)
|
|
||||||
|
|
||||||
(provide get-line-count
|
(provide get-line-count
|
||||||
get-counterexample
|
get-counterexample
|
||||||
|
@ -188,4 +187,3 @@
|
||||||
(check-equal? (count-size '((1))) 3)
|
(check-equal? (count-size '((1))) 3)
|
||||||
(check-equal? (count-size '((1) (1))) 5)
|
(check-equal? (count-size '((1) (1))) 5)
|
||||||
(check-equal? (count-size '((1) (1) (1) (1 1 1 1 1 1))) 14))
|
(check-equal? (count-size '((1) (1) (1) (1 1 1 1 1 1))) 14))
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user