Skip to content

Rename mock functions

31af32b
Select commit
Loading
Failed to load commit list.
Merged

Migrate foreign function, compiler-interface and kani-middle modules to use StableMIR #2959

Rename mock functions
31af32b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs