Annotation of /sml/trunk/ckit/regression/README

Parent Directory | Revision Log

---

Revision 597 - (view) (download)

1 :	dbm	597	Regression README
2 :
3 :			Map of regression directory
4 :			---------------------------
5 :			Test directories
6 :			valid-programs/
7 :			invalid-programs/
8 :			output/
9 :			valid-programs.obs/
10 :
11 :			SML code for running tests
12 :			sources.cm
13 :			test-fn.sml defines TestFn
14 :			tests/ instantiations of TestFn
15 :			simplify/ for simplify
16 :			[not active]
17 :			typecheck/ for typecheck
18 :			sources.cm
19 :			typecheck-test.sml defines structure TypecheckTest
20 :
21 :
22 :			Typical usage
23 :			-------------
24 :
25 :			% cd regression/tests/typecheck
26 :			% mkdir results # if necessary
27 :			% sml
28 :			- CM.make(); (* defines TypecheckTest *)
29 :			- TypecheckTest.testAll();
30 :
31 :			Note: this will fail if you don't have a results directory
32 :			in the typecheck directory.
33 :
34 :			Note: the regression/tests/simplify is not working at the moment.

---

root@smlnj-gforge.cs.uchicago.edu	ViewVC Help
Powered by ViewVC 1.0.0