pub fn boolWeightedWithHash(s: *Smith, false_weight: u64, true_weight: u64, hash: u32) bool
It is asserted that the weight of false is non-zero. It is asserted that the weight of true is non-zero.
false
true
s: *Smith
false_weight: u64
true_weight: u64
hash: u32
509 510 511 512 513 514 515
pub fn boolWeightedWithHash(s: *Smith, false_weight: u64, true_weight: u64, hash: u32) bool { @disableInstrumentation(); return s.valueWeightedWithHash(bool, &.{ .value(bool, false, false_weight), .value(bool, true, true_weight), }, hash); }
It is asserted that the weight of
falseis non-zero. It is asserted that the weight oftrueis non-zero.