I wonder, does Code Contracts use Z3? | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

bbcbasic on March 26, 2015 | parent | context | favorite | on: The Z3 Theorem Prover released under MIT license

I wonder, does Code Contracts use Z3?

ygra on March 26, 2015 [–]

Code Contracts are just assertions. Pex can use them though and is built on Z3, iirc.

bbcbasic on March 28, 2015 | [–]

They seem to be more than assertions. You get warnings at build time and clearly some proving engine must be in use.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact