split up translation and invariant checking

otter-diku / simulation-framework-for-microservices

0 stars 1 forks source link

Closed kct949 closed 1 year ago