This project is read-only.
1
Vote

SscBoogie crashes when it is run on .Net 4.0 dll

description

When I run SscBoogie on a .Net 4.0 dll (e.g. Core.dll from Boogie) it throws an AssumeException.

The following command can be used to reproduce the crash:
sscboogie /noVerify Core.dll

file attachments

comments