Model 2 of the Soc paper does not work
mikalziane opened this issue · 1 comments
mikalziane commented
It seems to loop
nothing is displayed
SergeStinckwich commented
The link to the model: https://github.com/KendrickOrg/kendrick/blob/master/documentation/formal-SoC-models/m2.md