From 5895c160c466c0a97716ffdf5ef654eb1c3c6009 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Mon, 7 Jul 2003 09:25:26 +0000
Subject: * Make dbRefs a mapping from Hash to [Path].
---
src/test.cc | 15 +++++----------
1 file changed, 5 insertions(+), 10 deletions(-)
(limited to 'src/test.cc')
diff --git a/src/test.cc b/src/test.cc
index fb7900ca96..b30a5b0e90 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";
--
cgit 1.4.1