In the past, it was observed that it takes lots of test cases to identify issues like missing OpCode specifications. This indicates that the distribution of OpCodes in the randomly generated states produces be the probe sub-command is not uniform.
Analysis should be added to verify
- that OpCodes are uniformly distributed
- that Revisions are uniformly distributed
- that Stack-Sizes are uniformly distributed
- that Code length follows an exponential distribution
- ...
It might be initially enough to add counters for those statistical values and to dump the results to the console, enabling those values to be plotted using a spreadsheet.
In the past, it was observed that it takes lots of test cases to identify issues like missing
OpCodespecifications. This indicates that the distribution ofOpCodes in the randomly generated states produces be theprobesub-command is not uniform.Analysis should be added to verify
It might be initially enough to add counters for those statistical values and to dump the results to the console, enabling those values to be plotted using a spreadsheet.