Alec Newman issues

Repositories
Issues
Comments

Results 1 issues of


                                            Alec Newman

Calling a procedure from a fair process via a macro doesn't mark the procedure as fair

TLA Toolbox example: https://github.com/rovaughn/pluscal-bug PlusCal example: ``` variables called = [process1 |-> FALSE, process2 |-> FALSE]; define Fair == [](called.process1 /\ called.process2) end define; macro test_macro() begin call test_procedure(); end...

PlusCal