[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

first steps in TLA - recursive functions don't work


I started to explore the world of TLA+ just a few days ago. For some reason I can't get to work even the simplest examples from the book, such as recursive functions. The troublesome examples are in the tla file attached. What am I missing? I run the most recent versions of TLA+ Toolbox and TLAPS.


Attachment: Test.tla
Description: Binary data