CPROVER APIs

• The `piped_process` API

Last modified: 2026-10-20 18:33:51 -0700