Open Guziec-Lobuziec opened 6 years ago
Scenario:
3a. B rejects and withdraws (price - advance payment) if now < time to fall back 4a. S concludes and withdraws advance payment
Custom properties should have price, advance, time to fall back S - seller B - buyer
A1.2 State machine
Scenario:
3a. B rejects and withdraws (price - advance payment) if now < time to fall back 4a. S concludes and withdraws advance payment
Custom properties should have price, advance, time to fall back S - seller B - buyer