fixed test generation format and multiple traces