build: derive libc verifier scope from optionalDependencies#1172

carlos-alm merged 7 commits into

mainoptave/ops-codegraph-tool:mainfrom

fix/1168-libc-verifier-deriveoptave/ops-codegraph-tool:fix/1168-libc-verifier-deriveCopy head branch name to clipboard