search

Calvin-L / ezpsl

The easy parallel algorithm specification language
MIT License
4 stars 1 forks source link

"EzPSL allows TLC to show an error trace when an assert fails." #1

Closed lemmy closed 3 years ago

lemmy commented 3 years ago

Hi Calvin,

"EzPSL allows TLC to show an error trace when an assert fails." (https://github.com/Calvin-L/ezpsl/blob/master/README.md#comparison-to-pluscal) should have been addressed by https://github.com/tlaplus/tlaplus/issues/461 (https://github.com/tlaplus/tlaplus/commit/19757bdd6aadf7c0e371c40bf591f0d84f12a592).

Cheers, Markus

Calvin-L commented 3 years ago

I've removed that bullet. Thanks for bringing this to my attention; that PlusCal change slipped under my radar and it's a very good one. :)