IDP 3.2.0 on windows 8.1

[Neline van Ginkel]

IDP 3.2.0 on windows 8.1 stops working (error message: kbs.exe has stopped working). Last successful output of file in attachment:

testding(x[a]) FALSE BRANCH: true TRUE BRANCH: false Using the following (final) BDD testding(x[a]) FALSE BRANCH: true TRUE BRANCH: false Creating a generator for testding(x[a]) FALSE BRANCH: true TRUE BRANCH: false Generating for testding(x[a]) FALSE BRANCH: true TRUE BRANCH: false

This file does work in windows 7.

The same issue also happens when using modelexpand instead of allmodels

[Broes De Cat]

We are aware of the bug, it is related to statically compiled binaries on Windows. Will be fixed soon.