3 ms·
Tests might be a good place for early pull requests since they hardlink a specific /Users/ path: https://github.com/crillab/gophersat/blob/7f9dbd11144643b0ee78
by carbocation 9y ago
Tests might be a good place for early pull requests since they hardlink a specific /Users/ path:
https://github.com/crillab/gophersat/blob/7f9dbd11144643b0ee7881b6e55e851229057077/solver/solver_test.go#L31 https://github.com/crillab/gophersat/blob/7f9dbd11144643b0ee...
- sacado2 9y agoOops. Thanks. Those tests are outdated, we ran our own tests and benchmarks outside `go test`'s facilities, for practical reasons. This will be corrected very soon.