TestCmdline.testSetupSynthesis - configure Synthesis ... ok