BUGFIX: undefined "trim_aut" in synth.synthesize()
BUGFIX: undefined "trim_aut" in synth.synthesize()

Bug apparently introduced in 598d43e24a870f48d47de35a6e5d49e3d28c967d
Corresponding test is given in previous commit (254a148176727b22de1544b5db897eaf6e51fda7).

necozay/tulip-control,tulip-control/tulip-control,necozay/tulip-control,tulip-control/tulip-control,tulip-control/tulip-control,necozay/tulip-control,necozay/tulip-control,tulip-control/tulip-control,necozay/tulip-control