Installing Korat on Windows

While installing Korat make sure that you add an environment variable KORAT_CPand set it to

Moreover, while running Korat examples from command line use a command similar to the one below:

-noverify  is necessary otherwise you shall get the following error:

If you are using Eclipse add -noverify  to VM arguments of Debug/Run configuration.

Categories: Dev