Fix a copy+paste error in a test name, and add a new test for symbol names#141
Merged
sunfishcode merged 1 commit intomasterfrom Nov 5, 2015
Merged
Fix a copy+paste error in a test name, and add a new test for symbol names#141sunfishcode merged 1 commit intomasterfrom
sunfishcode merged 1 commit intomasterfrom
