apalache icon indicating copy to clipboard operation
apalache copied to clipboard

Published 20 hours ago • verified publisher icon apalache-mc

Scrub examples that use recursion from the documentation.

Open Kukovec opened this issue 2 years ago • 3 comments

A few tutorial/HOWTO sections of the manual use recursive operators/functions in their examples (sometimes section-long running examples). These sections should be rewritten, since recursion is no longer supported, as of #1569.

Kukovec avatar Apr 14 '22 15:04 Kukovec

Is not that one done?

konnov avatar Jul 06 '22 11:07 konnov

No, if it was there would have been a PR about it.

Kukovec avatar Jul 06 '22 11:07 Kukovec

In the world of perfect rational robots, yes :)

konnov avatar Jul 06 '22 11:07 konnov