Commit Graph

4 Commits (7897942f24bc1f6c1300c42f7265ddedea38371e)

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