pub fn eosWeightedSimpleWithHash(s: *Smith, false_weight: u64, true_weight: u64, hash: u32) bool
This is similar to value(bool) however it is gauraunteed to eventually return true and provides the fuzzer with an extra hint about the data.
value(bool)
true
It is asserted that the weight of false is non-zero. It is asserted that the weight of true is non-zero.
false
s: *Smith
false_weight: u64
true_weight: u64
hash: u32
558 559 560 561 562 563 564
pub fn eosWeightedSimpleWithHash(s: *Smith, false_weight: u64, true_weight: u64, hash: u32) bool { @disableInstrumentation(); return s.eosWeightedWithHash(&.{ .value(bool, false, false_weight), .value(bool, true, true_weight), }, hash); }
This is similar to
value(bool)however it is gauraunteed to eventually returntrueand provides the fuzzer with an extra hint about the data.It is asserted that the weight of
falseis non-zero. It is asserted that the weight oftrueis non-zero.