Skip to content

add runtime checks for `--fec-params` in `komodo prove`

STEVAN Antoinerequested to merge
komodo-prove-error into main

@n.dissoubray found a bug when not passing --fec-params to komodo prove where

  • null cannot be accessed
  • invalid keys in $fec_params might be accessed and crash the command

this MR adds runtime checks for the type of --fec-params, to make sure it's

  • non null
  • has a valid shape

Merge request reports