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
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