Added some more preconditions using hax::implies and hax::forall and slight refactoring. #443
Triggered via pull request
November 29, 2023 16:44
xvzcf
Status
Success
Total duration
23m 24s
Artifacts
–