Merge branch 'master' of git.frama-c.com:laiser/caisar

tests/nir_to_onnx.t

@@ -31,7 +31,7 @@ Input name should be 0
   1 files checked
 
   $ caisar verify --format whyml --prover=PyRAT --ltag=NIR --onnx-out-dir="out_nnet" - 2>&1 <<EOF
-  > theory NIER_to_ONNX
+  > theory NIR_to_ONNX
   >   use ieee_float.Float64
   >   use caisar.types.Vector
   >   use caisar.model.Model