Compile warning fixes
Pre-release
Pre-release
Re-enabled unknown pragma warnings, wrapped CPROVER pragmas (#420) * Re-enabled unknown pragma warnings, wrapped CPROVER pragmas
Re-enabled unknown pragma warnings, wrapped CPROVER pragmas (#420) * Re-enabled unknown pragma warnings, wrapped CPROVER pragmas