diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-21 08:55:49 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-21 08:55:49 +0000 |
| commit | 401452e57ae897d3e5829ed12bfcccac82548e91 (patch) | |
| tree | 9db454d7112f0f327058278321a1d350370487e6 /src/test.cc | |
| parent | 7984cfc7c18c85c5db42c5c7d57927b12c846ce0 (diff) | |
* Memoize the evaluation of Fix expressions to speed up computation.
Diffstat (limited to 'src/test.cc')
| -rw-r--r-- | src/test.cc | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/test.cc b/src/test.cc index 5c7559af6..6b567abe0 100644 --- a/src/test.cc +++ b/src/test.cc @@ -117,7 +117,7 @@ void runTests() ((string) builder1id).c_str(), builder1fn.c_str(), ((string) builder1id).c_str()); - FSId fs1id = writeTerm(fs1, "", 0); + FSId fs1id = writeTerm(fs1, ""); realise(fs1id); realise(fs1id); @@ -127,7 +127,7 @@ void runTests() ((string) builder1id).c_str(), (builder1fn + "_bla").c_str(), ((string) builder1id).c_str()); - FSId fs2id = writeTerm(fs2, "", 0); + FSId fs2id = writeTerm(fs2, ""); realise(fs2id); realise(fs2id); @@ -143,7 +143,7 @@ void runTests() thisSystem.c_str(), out1fn.c_str()); debug(printTerm(fs3)); - FSId fs3id = writeTerm(fs3, "", 0); + FSId fs3id = writeTerm(fs3, ""); realise(fs3id); realise(fs3id); @@ -158,7 +158,7 @@ void runTests() ((string) builder4id).c_str(), builder4fn.c_str(), ((string) builder4id).c_str()); - FSId fs4id = writeTerm(fs4, "", 0); + FSId fs4id = writeTerm(fs4, ""); realise(fs4id); @@ -174,7 +174,7 @@ void runTests() out5fn.c_str(), ((string) builder4fn).c_str()); debug(printTerm(fs5)); - FSId fs5id = writeTerm(fs5, "", 0); + FSId fs5id = writeTerm(fs5, ""); realise(fs5id); realise(fs5id); |