Issue 4: Revise testing proceedure
Status:  Fixed
Owner:
Closed:  Sep 2008
Project Member Reported by nels.bec...@gmail.com, Aug 27, 2008
I'd like to have three categories of tests:
-Tests that should pass typechecking
-Tests that should fail typechecking
-Tests that don't currently do what they are supposed to do (i.e., "don't
work yet")

I'd like to replace our current strategy, which checks whether or not the
output of a certain test matches the expected output.

This may require having some sort of programmatic interface to the analysis
so that we can tell if the test passed or not, but worse-case scenario, we
could just output "PASS" or "FAIL" to the file that we currently output the
test output to.
Sep 5, 2008
Project Member #1 nels.bec...@gmail.com
(No comment was entered for this change.)
Status: Fixed