TAPAAL

Error when running query from query list

Bug #1958874 reported by Kenneth Yrke Jørgensen on 2022-01-24

This bug affects 1 person

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

To reproduce:

- open intro example
- click target reachable query and click verify

You now get an error (null pointer exception).

Press edit the query and save and verify works correctly, after this using the verify button works as expected.

Jiri Srba: Approve on 2022-01-31

Kenneth Yrke Jørgensen (yrke) on 2022-01-24

Revision history for this message

Kenneth Yrke Jørgensen (yrke) wrote on 2022-01-24:

Its using dataLayerQuery in a case where it is null (line 158 RunVerifcationBase)

<code>
dataLayerQuery.usePartitioning(),
dataLayerQuery.useColorFixpoint(),
dataLayerQuery.useSymmetricVars()
</code>

Revision history for this message

Kenneth Yrke Jørgensen (yrke) wrote on 2022-01-28:

Added a workarround for the know cases. The origianl null pointer issue is still there, but it should not happen (at least when called from gui)

Kenneth Yrke Jørgensen (yrke) on 2022-01-31

Changed in tapaal:
status:	Confirmed → In Progress

Jiri Srba (srba) on 2022-02-09

Changed in tapaal:
status:	In Progress → Fix Committed

This report contains Public information

Everyone can see this information.

You are

Subscribing...

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