Page MenuHomePhabricator

[SECP256K1] Check correctness of lambda split without -DVERIFY
ClosedPublic

Authored by Fabien on Oct 22 2020, 08:58.

Details

Summary
The VERIFY macro turns on various paranoid consistency checks, but the
complete functionality should still be tested without it.

This also adds a couple of static test points for extremely small split
inputs/outputs. The existing bounds vectors already check extremely
large outputs.

Partial backport 7/11 of secp256k1 PR830:
https://github.com/bitcoin-core/secp256k1/pull/830/commits/ebad8414b0e68041568d0b5ebe0bd395dbfbed9e

Depends on D8042.

Test Plan
ninja check-secp256k1

Event Timeline

Fabien requested review of this revision.Oct 22 2020, 08:58
Fabien retitled this revision from Check correctness of lambda split without -DVERIFY to [SECP256K1] Check correctness of lambda split without -DVERIFY.Oct 22 2020, 09:31
This revision is now accepted and ready to land.Oct 22 2020, 11:59