Fix infeasibility certificate tests

[odow]

Closes #450

[codecov]

Codecov Report

Base: 90.88% // Head: 90.53% // Decreases project coverage by -0.36% ⚠️

Coverage data is based on head (e825470) compared to base (383ecc6).
Patch coverage: 100.00% of modified lines in pull request are covered.

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #503      +/-   ##
==========================================
- Coverage   90.88%   90.53%   -0.36%     
==========================================
  Files           5        5              
  Lines        2402     2408       +6     
==========================================
- Hits         2183     2180       -3     
- Misses        219      228       +9     

Impacted Files	Coverage Δ
src/MOI_wrapper/MOI_wrapper.jl	89.84% <100.00%> (-0.40%)	⬇️

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

☔ View full report at Codecov.
📢 Do you have feedback about the report comment? Let us know in this issue.