diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-07T09·25+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-07T09·25+0000 |
commit | 5895c160c466c0a97716ffdf5ef654eb1c3c6009 (patch) | |
tree | 8e2756dd75b785f550c00538e4b97570d6a4c1c6 /src/test.cc | |
parent | 609a224848dd08cea35a89b03b64274c82f0a2a7 (diff) |
* Make dbRefs a mapping from Hash to [Path].
Diffstat (limited to 'src/test.cc')
-rw-r--r-- | src/test.cc | 15 |
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"; |