Bug 664 - Yggdrasil can't generate test cases
Summary: Yggdrasil can't generate test cases
Status: NEW
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Yggdrasil (show other bugs)
Version: 4.1.22
Hardware: PC Windows 10
: P5 major
Assignee: Petur Olsen
Depends on:
Reported: 2019-08-12 15:18 CEST by imbert.e1601456
Modified: 2019-08-12 15:18 CEST (History)
1 user (show)

See Also:

The error when the "Save Test Cases" button is clicked (38.70 KB, image/png)
2019-08-12 15:18 CEST, imbert.e1601456

Note You need to log in before you can comment on or make changes to this bug.
Description imbert.e1601456 2019-08-12 15:18:23 CEST
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.