Merge with dev.

This commit is contained in:
Kruno Tomola Fabro
2016-08-30 23:09:56 +01:00
28 changed files with 255 additions and 144 deletions

View File

@@ -90,5 +90,7 @@ int main(void)
clean_vertex(db);
assert(db.graph.vertices.access().size() == 0);
// TODO: more tests
return 0;
}