C# (CSharp) Random.BitVector4 Examples

Example #1

 void dot4_check(int cycles = DefaltCycleCount)
 {
     for (var i = 0; i < cycles; i++)
     {
         var x = Random.BitVector4();
         var y = Random.BitVector4();
         var a = x % y;
         var b = ModProd(x, y);
         Claim.yea(a == b);
     }
 }