Fix messed up build types

boogie-org / symbooglix

Symbolic Execution Engine for Boogie

MIT License

27 stars 4 forks source link

Closed delcypher closed 8 years ago

delcypher commented 8 years ago

When doing a release build the platform has to be set to X86 rather than all.

delcypher commented 8 years ago

Fixed in 542841fe5664a9031566b596ae5b4d54a4618d35