about summary refs log tree commit diff
path: root/src/test.cc
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-07-07T09·25+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-07-07T09·25+0000
commit5895c160c466c0a97716ffdf5ef654eb1c3c6009 (patch)
tree8e2756dd75b785f550c00538e4b97570d6a4c1c6 /src/test.cc
parent609a224848dd08cea35a89b03b64274c82f0a2a7 (diff)
* Make dbRefs a mapping from Hash to [Path].
Diffstat (limited to 'src/test.cc')
-rw-r--r--src/test.cc15
1 files changed, 5 insertions, 10 deletions
diff --git a/src/test.cc b/src/test.cc
index fb7900ca96e1..b30a5b0e90b6 100644
--- a/src/test.cc
+++ b/src/test.cc
@@ -191,15 +191,10 @@ void runTests()
 }
 
 
-int main(int argc, char * * argv)
+void run(Strings args)
 {
-    ATerm bottomOfStack;
-    ATinit(argc, argv, &bottomOfStack);
-
-    try {
-        runTests();
-    } catch (exception & e) {
-        cerr << "error: " << e.what() << endl;
-        return 1;
-    }
+    runTests();
 }
+
+
+string programId = "test";