Full code coverage

This commit is contained in:
Isaac Shoebottom 2025-01-14 12:42:33 -04:00
parent aa3f4758e5
commit d8d1d840bb

View File

@ -1,6 +1,6 @@
#lang plait
(define minutes-spent 50)
(define minutes-spent 60)
#| BNF for the AE language:
ae: NUMBER
@ -60,4 +60,6 @@
(test (run `{8 / 2}) 4)
(test (run `{-8 / 0}) -inf.0)
(test (run `{8 / {5 - 5}}) +inf.0)
(test (run `{1 / {1 / 0}}) 0.0)
(test (run `{1 / {1 / 0}}) 0.0)
(test (run `{0 / 0}) +nan.0) ; Special 0/0 case
(test/exn (run `{+ 1 1}) "parse") ; Parse error