CPROVER APIs

• The `piped_process` API

Last modified: 2025-08-23 17:44:23 -0700