Skip to content
Kani CI

Example for cascading drop triggered by eviction #254

Sign in to view logs

Example for cascading drop triggered by eviction

Example for cascading drop triggered by eviction #254

Triggered via pull request November 21, 2023 12:30
@peter-scholtenspeter-scholtens
opened #350
main
Status Success
Total duration 1m 7s
Artifacts –

Kani.yml

on: pull_request
run-kani
56s
run-kani
Fit to window
Zoom out
Zoom in