Remove dead Option layer from run_piped#3634

zhassan-aws merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

zhassan-aws:run-piped-cleanupzhassan-aws/kani:run-piped-cleanupCopy head branch name to clipboard