hwayne / learntla-v2

Learn TLA+ for free! No prior experience necessary!
https://www.learntla.com
Other
185 stars 39 forks source link

Fixed a logical mistake in bank-transfer example #13

Closed gurjeet closed 2 years ago

gurjeet commented 2 years ago

A bank must not transfer money from an account whose balance is lower than the amount being transferred.

hwayne commented 2 years ago

Fuck me