Initialize an empty boolean array

26 views
Skip to first unread message

Yash Patange

unread,
Jul 20, 2020, 12:47:28 PM7/20/20
to tlaplus
Hey guys I'm new here and also new to TLA+!

How can I initialize an empty boolean array in Pluscal? This array will track the consensus decision of each epoch if it's accepted as True or declined as False. 
Is there a way to make it Global and can be changed inside the 'fair process' block ?
Or any other methods appreciated.

Thanks!
Reply all
Reply to author
Forward
0 new messages