This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 664

Summary: Yggdrasil can't generate test cases
Product: UPPAAL Reporter: imbert.e1601456
Component: YggdrasilAssignee: 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

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.
Comment 1 Marius Mikučionis 2019-10-21 08:37:54 CEST
fix released in 4.1.23