mirror of
https://github.com/wolfSSL/wolfssl.git
synced 2026-08-23 14:03:27 +02:00
Add test_wc_FalconDecisionCoverage to the falcon API group, covering the public wc_falcon_* wrapper decisions (level checks, import/export and sign/verify argument guards, init_id/init_label) with per-condition MC/DC independence cases. Add tests/unit-mcdc/test_falcon_whitebox.c, a standalone binary that #includes falcon.c and drives its file-static encode/decode/zint/modp/ sampler/keygen-solver/sign guards -- including the small-mem falcon_do_sign_dyn twin -- with both halves of each independence pair, plus a real Falcon-512 make/sign/verify round-trip for the proceed halves. Register the whitebox in EXTRA_DIST (test-only; it is not part of the library build).
Before creating any new configure files (.conf) read the CONF_FILES_README.md