SuccessChanges

Summary

  1. Vat dai measuarable extras from pair programming (#129) (details)
Commit c6e03cb82534f070036893e1d38a092db01ff177 by rv-jenkins
Vat dai measuarable extras from pair programming (#129)
* pairing changes
* ok boomer
* ok zoomer
* DEBT const after cage (probably false)
* add two new properties to violation check
* update test output
* kmcd-props: remove new propertiees from violated
The file was modifiedtests/attacks/lucash-pot-end.random.mcd.expected (diff)
The file was modifiedtests/attacks/lucash-flip-end.random.mcd.expected (diff)
The file was modifiedtests/attacks/lucash-pot-end.mcd.expected (diff)
The file was modifiedtests/attacks/lucash-pot.random.mcd.expected (diff)
The file was modifiedkmcd-props.md (diff)
The file was modifiedtests/attacks/lucash-pot.mcd.expected (diff)
The file was modifiedtests/attacks/lucash-flap-end.mcd.expected (diff)
The file was modifiedtests/attacks/lucash-flap-end.random.mcd.expected (diff)
The file was modifiedtests/attacks/lucash-flip-end.mcd.expected (diff)