digital-asset / contingent-claims

Apache License 2.0
5 stars 0 forks source link

`acquire'` now respects `Until`. Fix #49. #52

Closed lucianojoublanc-da closed 2 years ago

lucianojoublanc-da commented 2 years ago

This attemps to resolve #49

I've adjusted the behaviour of acquire' so that it respecst Until (i.e. I can't acquire something that has already expired).

This breaks the test in Test/Lifecycle.daml:297. Need to think about whether we should change that test to make it pass, and whether it's semantically correct.

Note @matteolimberto-da I removed your FRN Until test; it overlaps with the knockout option tests.