normalize varname as cnfvar.py expects it
authorPhilipp Gesang <philipp.gesang@intra2net.com>
Mon, 5 Nov 2018 09:39:12 +0000 (10:39 +0100)
committerChristian Herdtweck <christian.herdtweck@intra2net.com>
Mon, 5 Nov 2018 11:21:05 +0000 (12:21 +0100)
commitcfcef1859c956719ff2965c3ad41489b83c56646
treeb91212d7c5ff9ad3b4d3162fcaf435931de4de69
parentee39385cdf7e0290c9e6034a75142426b27880c7
normalize varname as cnfvar.py expects it

When cnfvar reads variables, it normalizes the names to
lowercase. Only when emitting classic CNF_FILE style output
the names are uppercased for set_cnf.
src/simple_cnf.py
test/test_simple_cnf.py