CPROVER APIs

• The `piped_process` API

Last modified: 2025-10-12 11:30:37 +0200