- Sort Score
- Num 10 results
- Language All
Results 1 - 2 of 2 for testModAddCommutativ (0.2 seconds)
-
lib/fips140/v1.26.0.zip
0; i < size; i++ { limbs[i] = uint(r.Uint64()) & ((1 << _W) - 2) } return reflect.ValueOf(&Nat{limbs}) } func testModAddCommutativ(a *Nat, b *Nat) bool { m := maxModulus(uint(len(a.limbs))) aPlusB := new(Nat).set(a) aPlusB.Add(b, m) bPlusA := new(Nat).set(b) bPlusA.Add(a, m) return aPlusB.Equal(bPlusA) == 1 } func TestModAddCommutativ(t *testing.T) { err := quick.Check(testModAddCommutativ, &quick.Config{}) if err != nil { t.Error(err) } } func testModSubThenAddIde(a *Nat, b *Nat) bool { m := max...Created: Tue Apr 07 11:13:11 GMT 2026 - Last Modified: Thu Jan 08 17:58:32 GMT 2026 - 660.3K bytes - Click Count (0) -
lib/fips140/v1.0.0-c2097c7c.zip
0; i < size; i++ { limbs[i] = uint(r.Uint64()) & ((1 << _W) - 2) } return reflect.ValueOf(&Nat{limbs}) } func testModAddCommutativ(a *Nat, b *Nat) bool { m := maxModulus(uint(len(a.limbs))) aPlusB := new(Nat).set(a) aPlusB.Add(b, m) bPlusA := new(Nat).set(b) bPlusA.Add(a, m) return aPlusB.Equal(bPlusA) == 1 } func TestModAddCommutativ(t *testing.T) { err := quick.Check(testModAddCommutativ, &quick.Config{}) if err != nil { t.Error(err) } } func testModSubThenAddIde(a *Nat, b *Nat) bool { m := max...Created: Tue Apr 07 11:13:11 GMT 2026 - Last Modified: Thu Sep 25 19:53:19 GMT 2025 - 642.7K bytes - Click Count (0)