Erik's mods to EWD998 from class on 2022-07-12#7

Open

xkrogen wants to merge 2 commits intotlaplus-workshops:072022from xkrogen:072022-ekrogen-mods

+130-251

Commits on Jul 13, 2022

Erik's mods to EWD998 from class on 2022-07-12
xkrogen
committed
Get rid of fairness on Terminate, instead break out a separate DetectTermination action and apply fairness on that
xkrogen
committed