Call sequence incorrectly not permissible for ANY (still)

RamonMeffert / elm-gossip

A user-friendly web tool for exploring dynamic gossip.

https://r3n.nl/elm-gossip/

GNU General Public License v3.0

3 stars 0 forks source link

Closed RamonMeffert closed 3 years ago

RamonMeffert commented 3 years ago

I thought I had fixed this bug, but if you take the "All Secrets" example no call sequences will be permissible, according to the program.