Segmentation fault error adding 3 vertices

[lucaparmigiani]

This works as intedeed

from graph_tool.all import *

g = Graph()
g.add_vertex()
g.add_vertex()
graph_draw(g)

But this doesn't

from graph_tool.all import *

g = Graph()
g.add_vertex()
g.add_vertex()
g.add_vertex()
graph_draw(g)

[1]    4657 segmentation fault (core dumped)  python3 x.py

The segmentation fault appears also if I do g.add_vertex(3) and then plot with graph_draw. But works with g.add_vertex(5) (also using 4 cause it to seg fault).

[count0]

This is NOT the official repository of graph-tool! It's a clone someone made over 9 years ago!

The actual repository is here: https://git.skewed.de/count0/graph-tool

If you want the developers to actually see your issues, please post there!