search

bmoth-mc / bmoth

Model Checker for (a subset of) classical B based on Z3
MIT License
9 stars 1 forks source link

LiftDoesNotMoveTowardsFirstPressedButton throws Type Error #90

Closed wysiib closed 7 years ago

wysiib commented 7 years ago

Apparently, ran(..) can not be applied to sequences at the moment.