tree 85ef2f4f88ef865f6d55b2ed3dc3eaa48fa712ce
parent 7b887cd14d2eda743369203eb15d8cfef435d9ac
author Gilles Peskine <Gilles.Peskine@arm.com> 1567630307 +0200
committer Darryl Green <darryl.green@arm.com> 1573655614 +0000

Fix config.py output when a symbol has acquired or lost a value

Normally a valueless symbol remains valueless and a symbol with a
value keeps having one. But just in case a symbol does get changed
from valueless to having a value, make sure there's a space between
the symbol and the value. And if a symbol gets changed from having a
value to valueless, strip trailing whitespace.

Add corresponding tests.

Also fix the case of a valueless symbol added with the set method,
which would have resulted in attempting to use None as a string. This
only happened with the Python API, not with the command line API.