blob: d92c32bea43dc608b55ba26aaf438ef04827f09f [file] [log] [blame]
for (i in Sequence{1..20}) {
var node = randomNode();
while (node.outgoing.first.isDefined()) {
delete node.outgoing.first;
}
delete node;
}
operation randomNode() : Node {
return Graph.all.first.nodes.random();
}