2.8 "testing"
(include-book "testing" :dir :teachpacks)
This teachpack provides a graphical interface for unit tests.
(check-expect actual expected)
(check-within actual expected delta)
(check-error expr)
Tests that expr triggers a guard violation.
▼ | 2 | Teachpacks |
2.1 | "audio" |
2.2 | "avl- |
2.3 | "binary- |
2.4 | "doublecheck" |
2.5 | "io- |
2.6 | "list- |
2.7 | "rand" |
2.8 | "testing" |
2.9 | "world" |
check- |
check- |
check- |
(include-book "testing" :dir :teachpacks)
This teachpack provides a graphical interface for unit tests.
(check-expect actual expected)
(check-within actual expected delta)
(check-error expr)