Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/ckit/regression/README
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log 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