(include-book "testing" :dir :teachpacks)
This teachpack provides a graphical interface for unit tests.
Write this at the end of your file to display the test results.
|(check-expect actual expected)|
Tests (equal actual expected).
|(check-within actual expected delta)|
Tests that expr triggers a guard violation.