normalize cnfvars for JSON output too
authorPhilipp Gesang <philipp.gesang@intra2net.com>
Thu, 7 Feb 2019 13:16:44 +0000 (14:16 +0100)
committerChristian Herdtweck <christian.herdtweck@intra2net.com>
Thu, 7 Feb 2019 15:10:53 +0000 (16:10 +0100)
commit32eeaf1169612cdf1a886ec8588255c6c485d528
tree308011b159ffa187190b9ae462bb29ec7b7029d3
parent14d257c126d4232872c388940c365449e2d21e65
normalize cnfvars for JSON output too

Reported by Christian: The normalization pass that ensures
varnames are uppercase was missing from the JSON based routines
which caused them to be rejected by set_cnf(). Implement it by
passing a normalized copy of the CNF tree to the json writer.
src/cnfvar.py