lasse@lssteady ~/tmp/vl % uname -a
Linux lssteady 4.5.1-1-ARCH #1 SMP PREEMPT Thu Apr 14 19:19:32 CEST 2016 x86_64 GNU/Linux
lasse@lssteady ~/tmp/vl % cat /etc/*release
Antergos Linux release 2015.10 (ISO-Rolling)
NAME="Antergos Linux"
VERSION="2015.10-ISO-Rolling"
ID="antergos"
ID_LIKE="arch"
PRETTY_NAME="Antergos Linux"
CPE_NAME="cpe:/o:antergosproject:antergos:2015.10"
ANSI_COLOR="1;34;40"
HOME_URL="https://www.antergos.com/"
SUPPORT_URL="http://forum.antergos.com/"
BUG_REPORT_URL="http://github.com/antergos"

lasse@lssteady ~/tmp/vl % ulimit -c unlimited
lasse@lssteady ~/tmp/vl % verilator --lint-only flipflop.v
%Error: Verilator internal fault, sorry.  Consider trying --debug --gdbbt
%Error: Command Failed /usr/bin/verilator_bin --lint-only flipflop.v
255 lasse@lssteady ~/tmp/vl % gdb /usr/bin/verilator_bin core                                                                                                                         :(
GNU gdb (GDB) 7.11
Copyright (C) 2016 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.  Type "show copying"
and "show warranty" for details.
This GDB was configured as "x86_64-pc-linux-gnu".
Type "show configuration" for configuration details.
For bug reporting instructions, please see:
<http://www.gnu.org/software/gdb/bugs/>.
Find the GDB manual and other documentation resources online at:
<http://www.gnu.org/software/gdb/documentation/>.
For help, type "help".
Type "apropos word" to search for commands related to "word"...
Reading symbols from /usr/bin/verilator_bin...(no debugging symbols found)...done.
/home/lasse/tmp/vl/core: No such file or directory.
(gdb) bt
No stack.
(gdb) q
lasse@lssteady ~/tmp/vl %