Description
Conformance tests can check simulation trace files

Definition of Done

• Trace verification for Short Leios
• Trace verification for Full Short Leios
• Trace verification reports an informative error in case of failure
• Integration into CI
• Positive and negative test scenarios