Recompile verifytapn for linux64

Bug #1896459 reported by Jiri Srba
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
TAPAAL
Fix Committed
Undecided
Unassigned

Bug Description

It returns segfault on some linux installations.

Changed in tapaal:
status: New → In Progress
milestone: none → cpn
Revision history for this message
Jiri Srba (srba) wrote :

This has been resolved by compiling on github.

Changed in tapaal:
status: In Progress → Fix Committed
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

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