Skip to content

Add option to override --crate-name from kani#3054

Merged
adpaco merged 9 commits into
model-checking:mainfrom
adpaco:feat-crate-name
Mar 8, 2024
Merged

Add option to override --crate-name from kani#3054
adpaco merged 9 commits into
model-checking:mainfrom
adpaco:feat-crate-name

Merge branch 'main' into feat-crate-name

649814a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs