Commit Graph

4 Commits (208c3c2e90b4a52c2fdf6845e5565bd57c1af8bb)

Author SHA1 Message Date
Niels Thykier 41978869ce Migrate solver's ad-hoc debug logging
7 years ago
Niels Thykier 42be17ad26 inst-tester: Correctly handle unresolved essential choices
8 years ago
Niels Thykier 20c2b87833 Sprinkle some "no cover" pragmas over the code base
8 years ago
Niels Thykier 9bc94db01c Refactor all modules into a britney2 subdir
8 years ago