TAPAAL

NullPointerException when engine path contains whitespace

Bug #1543566 reported by Mads Johannsen
8
This bug affects 1 person
Affects Status Importance Assigned to Milestone
TAPAAL
Fix Released
Critical
Mads Johannsen

Bug Description

NullPointerException is thrown when trying to verify a query and the engine directory path contains whitespace.

Related branches

lp:~tapaal-contributor/tapaal/NullPointerException-whitespace-path-fix-1543566
Jiri Srba: Approve
Mads Johannsen (community): Needs Resubmitting
Diff: 40 lines (+12/-2)
2 files modified
src/dk/aau/cs/util/ExecutabilityChecker.java (+1/-1)
src/dk/aau/cs/verification/ProcessRunner.java (+11/-1)
Revision history for this message
Mads Johannsen (mjohan12) wrote :

The bug is at least present on GNU/Linux systems.

Revision history for this message
Jiri Srba (srba) wrote :

I can confirm the same bug on Mac OS X.

Changed in tapaal:
importance: Undecided → Critical
status: New → Confirmed
Mads Johannsen (mjohan12)
Changed in tapaal:
assignee: nobody → Mads Johannsen (mjohan12)
Mads Johannsen (mjohan12)
Changed in tapaal:
status: Confirmed → In Progress
TAPAAL Janitor (tapaal)
Changed in tapaal:
status: In Progress → Fix Committed
Kenneth Yrke Jørgensen (yrke)
Changed in tapaal:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.
Subscribing...

Other bug subscribers

Remote bug watches

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