Summary: | Yggdrasil can't generate test cases | ||
---|---|---|---|
Product: | UPPAAL | Reporter: | imbert.e1601456 |
Component: | Yggdrasil | Assignee: | Marius Mikučionis <marius> |
Status: | RESOLVED FIXED | ||
Severity: | major | CC: | marius |
Priority: | P5 | ||
Version: | 4.1.22 | ||
Hardware: | PC | ||
OS: | Windows 10 | ||
Architecture: | |||
Attachments: | The error when the "Save Test Cases" button is clicked |
fix released in 4.1.23 |
Created attachment 334 [details] The error when the "Save Test Cases" button is clicked I encounter a problem when I try to generate test cases with Yggdrasil on the last Uppaal version. Indeed, this message appears when I click on the "Save Test Cases" button, there is an "Caught unexpected java.lang.NullPointerException". At first, I was thinking that the problem comes with my modelling. But there is the same problem with every others models, including the tutorials. If I use the same model under the 4.1.19 version, the test generation works fine.