Skip to content

Warn when Kani runs under Rosetta 2 on Apple Silicon - #4789

Open
rbeauchamp wants to merge 1 commit into
model-checking:mainfrom
rbeauchamp:rosetta-arch-warning
Open

Warn when Kani runs under Rosetta 2 on Apple Silicon#4789
rbeauchamp wants to merge 1 commit into
model-checking:mainfrom
rbeauchamp:rosetta-arch-warning

Warn when Kani runs under Rosetta 2 on Apple Silicon (#6)

af607c1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar