Currently, the configuration in which Lincheck Java-agent transforms all classes in the model checking mode does not work (see the corresponding build configuration).
This configuration is used for testing purposes, to test the correctness of model checking transformation. A failure of tests in this configuration may indicate a bug in the model checking mode. We need to investigate this problem and fix it.
Currently, the configuration in which Lincheck Java-agent transforms all classes in the model checking mode does not work (see the corresponding build configuration). This configuration is used for testing purposes, to test the correctness of model checking transformation. A failure of tests in this configuration may indicate a bug in the model checking mode. We need to investigate this problem and fix it.