dfsm: Add support for enabling fuzzing after a certain number of transitions
authorPhilip Withnall <philip@tecnocode.co.uk>
Sat, 28 Jan 2012 21:35:29 +0000 (21:35 +0000)
committerPhilip Withnall <philip@tecnocode.co.uk>
Sat, 28 Jan 2012 21:35:29 +0000 (21:35 +0000)
commit7f912aa8ef6414b08b121cc7edec2a403fc7ef85
treed785f406f9a851fdff90846663c4c185979e9cb3
parent5f7475e2da4b2727bbca9cdc1b905d016a68691a
dfsm: Add support for enabling fuzzing after a certain number of transitions

Before fuzzing is enabled, no data structure fuzzing takes place, and no
error-throwing transitions are executed (if at all possible; if they're the
only option, then they will be executed). This should allow for experiments
into the depth of the test program's state space which we can reach.
dfsm/dfsm-ast-data-structure.c
dfsm/dfsm-machine.c
dfsm/dfsm-machine.h
dfsm/dfsm-object.c
dfsm/dfsm-object.h
dfsm/dfsm-parser-internal.h
dfsm/dfsm.symbols