Commit Graph

4 Commits (bc1d3afa382beea209019c3e015fcc8e089e519a)

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