From 6d750ded81c5d50ebcc6ec8f3e49d566ee0b4d2e Mon Sep 17 00:00:00 2001 From: Antonis Geralis Date: Wed, 14 Sep 2022 14:59:04 +0300 Subject: [PATCH] example add code --- examples/fuzz_graph.nim | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/examples/fuzz_graph.nim b/examples/fuzz_graph.nim index 43b1ca8..c24e0b2 100644 --- a/examples/fuzz_graph.nim +++ b/examples/fuzz_graph.nim @@ -99,6 +99,12 @@ when defined(runFuzzTests) and isMainModule: x.nodes[6].edges.len == 0 and x.nodes[7].edges.len == 0: doAssert false + # Here you could call library functions and check invariants. + # Such as when removing edges, the number of nodes remains the same. + #var x = x + #let oldLen = x.nodes.len + #x.deleteEdge(1, 2) + #doAssert oldLen == x.nodes.len defaultMutator(fuzzTarget)