Open Nat1405 opened 4 years ago
This adds support for Travis CI integration tests.
Note that these tests won't pass yet; the master branch currently isn't doing reductions properly.
This adds support for Travis CI integration tests.