Skip to content
Snippets Groups Projects
Commit aa827b34 authored by Aymeric Varasse's avatar Aymeric Varasse :innocent:
Browse files

[refactor] Remove leftovers of nier

parent c721616c
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
tests/dune
+ 1
− 1
View file @ aa827b34
(cram (cram
(alias local) (alias local)
(applies_to * \ nier_to_onnx acasxu_ci) (applies_to * \ nir_to_onnx acasxu_ci)
(deps (deps
(package caisar) (package caisar)
setup_env.sh setup_env.sh
......
tests/nier_to_onnx.t → tests/nir_to_onnx.t
+ 1
− 1
View file @ aa827b34
...@@ -31,7 +31,7 @@ Input name should be 0 ...@@ -31,7 +31,7 @@ Input name should be 0
1 files checked 1 files checked
$ caisar verify --format whyml --prover=PyRAT --ltag=NIR --onnx-out-dir="out_nnet" - 2>&1 <<EOF $ 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 ieee_float.Float64
> use caisar.types.Vector > use caisar.types.Vector
> use caisar.model.Model > use caisar.model.Model
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment