Skip to content
Back to pull request #2992

Refactoring contracts macro logic into separate modules #6099

Sign in to view logs

Refactoring contracts macro logic into separate modules

Refactoring contracts macro logic into separate modules #6099

Triggered via pull request February 6, 2024 16:35
@feliperodrifeliperodri
synchronize #2992
JustusAdam:refactoring-contracts
Status Success
Total duration 31m 51s
Artifacts –

kani.yml

on: pull_request
write-json-symtab-regression
11m 14s
write-json-symtab-regression
benchcomp-tests
3m 19s
benchcomp-tests
perf
28m 17s
perf
bookrunner
15m 23s
bookrunner
Matrix: regression
Fit to window
Zoom out
Zoom in