search

digital-asset / daml

The Daml smart contract language
https://www.digitalasset.com/developers
Other
802 stars 204 forks source link

Annotate the Auth Middleware tests to generate security evidence #13135

Closed stefanobaghino-da closed 2 years ago

stefanobaghino-da commented 2 years ago

Part of https://github.com/digital-asset/daml/issues/13131

stefanobaghino-da commented 2 years ago

Since @realvictorprm is moving fast with his own work on several security annotations at once (#13132, #13133, #13134), I'll put this on hold for a bit to minimize the chance of a conflict.

stefanobaghino-da commented 2 years ago

Freeing this item for someone else to work on as I'm currently working on support.