Better integration testing
Past due by 8 months
20% complete
We need:
- Performance testing (comparing our performance to conjure)
- Regression testing (comparing our actual output to conjure)
- Large integration test suites for Minion and KisSAT
- A nice web UI to see integration test results (especially performance tests)
Getting this done ASAP will hopefully help the rest of the team in their work and provide more dir…
We need:
- Performance testing (comparing our performance to conjure)
- Regression testing (comparing our actual output to conjure)
- Large integration test suites for Minion and KisSAT
- A nice web UI to see integration test results (especially performance tests)
Getting this done ASAP will hopefully help the rest of the team in their work and provide more direction for people working on solver support