search

tlaplus / CommunityModules

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
MIT License
273 stars 36 forks source link

Update GraphsTests.tla #106

Open younes-io opened 2 weeks ago

younes-io commented 2 weeks ago

@muenchnerkindl https://github.com/tlaplus/CommunityModules/pull/94#issuecomment-1873007594