Skip to content

Running verify-std no longer changes Cargo files#3577

Merged
celinval merged 3 commits into
model-checking:mainfrom
celinval:issue-3574-std-cargo
Oct 8, 2024
Merged

Running verify-std no longer changes Cargo files#3577
celinval merged 3 commits into
model-checking:mainfrom
celinval:issue-3574-std-cargo

Update kani-driver/src/call_cargo.rs

53ce5e5
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs