Skip to content

Commit ade5b36

Browse files
committed
tests: add checks for scalar constants secp256k1_scalar_{zero,one}
1 parent 654246c commit ade5b36

File tree

1 file changed

+14
-0
lines changed

1 file changed

+14
-0
lines changed

src/tests.c

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2351,6 +2351,20 @@ static void run_scalar_tests(void) {
23512351
run_scalar_set_b32_seckey_tests();
23522352
}
23532353

2354+
{
2355+
/* Check that the scalar constants secp256k1_scalar_zero and
2356+
secp256k1_scalar_one contain the expected values. */
2357+
secp256k1_scalar zero, one;
2358+
2359+
CHECK(secp256k1_scalar_is_zero(&secp256k1_scalar_zero));
2360+
secp256k1_scalar_set_int(&zero, 0);
2361+
CHECK(secp256k1_scalar_eq(&zero, &secp256k1_scalar_zero));
2362+
2363+
CHECK(secp256k1_scalar_is_one(&secp256k1_scalar_one));
2364+
secp256k1_scalar_set_int(&one, 1);
2365+
CHECK(secp256k1_scalar_eq(&one, &secp256k1_scalar_one));
2366+
}
2367+
23542368
{
23552369
/* (-1)+1 should be zero. */
23562370
secp256k1_scalar o;

0 commit comments

Comments
 (0)