Skip to content

Autoharness: support &CStr arguments under --bounded-arguments - #4804

Open
srivatsansamraj wants to merge 2 commits into
model-checking:mainfrom
srivatsansamraj:cstr-bounded-ref
Open

Autoharness: support &CStr arguments under --bounded-arguments#4804
srivatsansamraj wants to merge 2 commits into
model-checking:mainfrom
srivatsansamraj:cstr-bounded-ref

Autoharness: type the model call's destination by what the model returns

00a4c2a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Auto Label
succeeded Sep 19, 2026 in 7s