status-im/nim-drchaos
2
0
Fork 0
mirror of https://github.com/status-im/nim-drchaos.git synced 2025-02-21 07:08:14 +00:00
Code Issues Packages Projects Releases Wiki Activity

example add code

Browse Source
This commit is contained in:
Antonis Geralis 2022-09-14 14:59:04 +03:00
parent 17d40e628a
commit 6d750ded81
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
examples/fuzz_graph.nim
View File

@ -99,6 +99,12 @@ when defined(runFuzzTests) and isMainModule:
x.nodes[6].edges.len == 0 and x.nodes[6].edges.len == 0 and
x.nodes[7].edges.len == 0: x.nodes[7].edges.len == 0:
doAssert false 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) defaultMutator(fuzzTarget)