2022-06-07 | Jannis Harder | tests: Move required tool checks from rule generation... | blob | commitdiff | raw |
2022-05-30 | Jannis Harder | Better checking of available solvers | blob | commitdiff | raw | diff to current |
2022-04-25 | Jannis Harder | Merge pull request #156 from jix/refactor-tests | blob | commitdiff | raw |
2022-04-11 | Jannis Harder | Refactor tests | blob | commitdiff | raw |