#TestSynthesis artifacts test_syn #Merge files *.mrg *.bak