Skip to content

some small r22 adaptions

Manuel Guth requested to merge r22-adaptions into r22
  • removing SMT variables, since they are not available in r22 yet
  • removing time stamp of the jet collection

Merge request reports