Skip to content

kani: skip reachability traces whose function name contains spaces - #5

Open
Yiannis128 wants to merge 1 commit into
masterfrom
fix/kani-reachability-trace-with-spaces
Open

kani: skip reachability traces whose function name contains spaces#5
Yiannis128 wants to merge 1 commit into
masterfrom
fix/kani-reachability-trace-with-spaces

kani: skip reachability_check traces whose function name has spaces

1678ba2
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar