Esempi in C# (CSharp) per Random.BitVector4

Esempio n. 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);
     }
 }