search

microsoft / SLAyer

SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
Other
326 stars 24 forks source link

Unbreak build #2

Closed jberdine closed 8 years ago

msftclas commented 8 years ago

Hi @jberdine, I'm your friendly neighborhood Microsoft Pull Request Bot (You can call me MSBOT). Thanks for your contribution! In order for us to evaluate and accept your PR, we ask that you sign a contribution license agreement. It's all electronic and will take just minutes. I promise there's no faxing. https://cla.microsoft.com.

TTYL, MSBOT;