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.
fix released in 4.1.23