Add --nondet-static-matching regex option#7389

Merged

kroening merged 3 commits intodiffblue:developfrom

peterschrammel:nondet-static-matching

Feb 10, 2023

Commits on Feb 8, 2023

Add nondet_static_matching regex

peterschrammel
authored and
giulio-garbi
committed

Commits on Feb 9, 2023

Add --nondet-static-matching regex option to goto-instrument

peterschrammel
authored and
giulio-garbi
committed
Move test --nondet-static-matching option from cbmc to goto-instrument

peterschrammel
authored and
giulio-garbi
committed