5 Commits

Author SHA1 Message Date
Raffson
377d0a2fad
mypy fix 2024-04-13 19:52:38 +02:00
Raffson
d8ce0a6c24
Revert "Fix mypy complaint"
This reverts commit b0047784dc7b5fde70b6d27da6ca9c3e2fd5428b.
2023-10-15 20:56:30 +02:00
Raffson
b0047784dc
Fix mypy complaint 2023-10-15 20:03:17 +02:00
Raffson
c50dcaaafb
Streamlining 2023-10-07 18:00:07 +02:00
Dan Albert
98f92f9ab2
Add fuzz testing for waypoint solvers.
This fuzz test generates random inputs for waypoint solvers to check if
they can find a solution. If they can't, the debug info for the solver
is dumped to the testcases directory. Another test loads those test
cases, creates a solver from them, and checks that a solution is found.
Obviously it won't be immediately, but it's a starting point for fixing
the bug and serves as a regression test afterward.
2023-10-07 17:07:33 +02:00