Fix SMV error reporting for link phase.

microsoft / Static-Module-Verifier

Static Module Verifier technology enables full module analysis using Microsoft Azure.

MIT License

9 stars 11 forks source link

Closed NateD-MSFT closed 6 years ago

NateD-MSFT commented 6 years ago

SMV doesn't correctly log errors for the first link phase due to a typo (StandardOutput instead of StandardError.)

This change rectifies that.