Skip to content

  • Projects
  • Groups
  • Snippets
  • Help
  • This project
    • Loading...
  • Sign in / Register
D
DIVINE
  • Overview
    • Overview
    • Details
    • Activity
    • Cycle Analytics
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Charts
  • Issues 42
    • Issues 42
    • List
    • Board
    • Labels
    • Milestones
  • Merge Requests 0
    • Merge Requests 0
  • CI / CD
    • CI / CD
    • Pipelines
    • Jobs
    • Schedules
    • Charts
  • Wiki
    • Wiki
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Graph
  • Charts
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
  • paradise
  • DIVINE
  • Issues
  • #43

Closed
Open
Opened Mar 22, 2017 by Marek Chalupa@xchalup4 
  • Report abuse
  • New issue
Report abuse New issue

Segfault in draw command

When XLIB fails to open display, divine segfaults. You can reproduce it by unsetting the DISPLAY env. variable or by ssh-ing to localhost without -X

$ divine draw try.bc 
Failed to open XLIB display: 
Segmentation fault
Assignee
Assign to
None
Milestone
None
Assign milestone
Time tracking
None
Due date
No due date
0
Labels
None
Assign labels
  • View labels
Reference: paradise/DIVINE#43