summaryrefslogtreecommitdiff
path: root/test/fix5.test
AgeCommit message (Collapse)AuthorFilesLines
2013-06-13solver: rewrite as deductive solver -- per name flagsTimo Teräs1-0/+8
Handle properly per-name preference flags, and add test cases for testing those via fix applet.