Closed sriram-srinivasan closed 1 month ago
Turns out many of the higher numbered tutorials don't work either.
(Built on Mac M2)
Thanks for filing the issue. Yes, the examples in fizz directory may not work. They were created well before the actual implementation started as PoC for the language. I'll remove these files shortly.
The tutorials with higher numbered ones are expected to work, let my check that again. Do you have a specific example and what error it says.
I discovered the problem. It was picking an earlier version of python (3.9) instead of 3.12.
The model checker successfully parses the tutorials now, and most run successfully, but there were some failures that I will document as a separate issue.
As for the parsing issue, the 2PC examples still have trouble parsing, exactly as documented earlier.
Thanks. I am removing these old files.