search

PalladioSimulator / Palladio-Analyzer-Slingshot

0 stars 1 forks source link

Check contract checking #21

Open klinakuf opened 4 months ago

klinakuf commented 4 months ago

The contract checking does not detect the case where an event that is not specified in the contract is published.