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