Commit Graph

4 Commits (54e5eb0e743fbdf6b04ca7c73eae72047a7fe94e)

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