Closed gretac closed 11 years ago
This branch should fix the bug found in test-eval-points
. Merge it in to test.
Switched to branch fix-bug-origin-name, did make test. Was able to pass all tests, although it got stuck the first two times on different tests (Pretty sure this is due to the (probably unrelated) non-deterministic deadlock error I have filed a separate bug for.).
git pull origin test-eval-points into fix-bug-origin-name, did make test. All tests pass.
(thumbs up)
Closes #60