TAPAAL

Approximation is failing both in trunk and cpn-gui-dev

Bug #1954702 reported by Jiri Srba on 2021-12-13

This bug affects 1 person

Affects		Status	Importance	Assigned to	Milestone
	TAPAAL	Fix Committed	Undecided	Unassigned	TAPAAL cpn "cpn"

Bug Description

Open intro example in the current trunk, open the query and select advanced dialog. Then select overapproximation option and verify. It fails by saying:

The engine selected in the query dialog cannot verify this model.
Please choose another engine.
java.lang.NullPointerException: Cannot invoke "dk.aau.cs.util.Tuple.value2()" because the return value of "dk.aau.cs.verification.NameMapping.map(String)" is null

The same problem is in the cpn-gui-dev branch where e.g. on referendum-timed-colored it says:

The engine selected in the query dialog cannot verify this model.
Please choose another engine.
java.lang.NullPointerException

Jiri Srba (srba) on 2021-12-27

Changed in tapaal:
status:	New → Fix Committed

Report a bug

This report contains Public information

Everyone can see this information.

You are

Subscribing...

Edit bug mail

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.