microsoft / CCF

Confidential Consortium Framework
https://microsoft.github.io/CCF/
Apache License 2.0
761 stars 205 forks source link

Parameterise consistency spec on FirstView #6140

Closed achamayou closed 3 weeks ago

achamayou commented 3 weeks ago

Split from #6136, this is useful when doing trace validation to be able to re-use RwTxExecuteAction without changes. We want to append to an arbitrary view (there could be an isolated primary), but definitely not to 1.