CPROVER wrappers and configuration for the Software Verification Competition (SV-COMP) - View it on GitHub