Desired tests: * External testing framework for invalid programs, crashes, hangs, regressions * Internal testing framework for language correctness
Activity
lam2mo commentedon May 29, 2019
Partially addressed by #34 and #49. See #37 for a discussion of how this issue interacts with the new TravisCI system (#33).
lam2mo commentedon Apr 30, 2020
Thank you @hinescd for your contributions on this issue!