Skip to content
Snippets Groups Projects
Commit 03794fb2 authored by Michele Alberti's avatar Michele Alberti
Browse files

[tests] Update test commands (not oracles).

parent 0af3edb2
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
tests/interpretation_acasxu.t
+ 1
− 1
View file @ 03794fb2
Test interpret on acasxu Test interpret on acasxu
$ caisar interpret -L . --format whyml - 2>&1 <<EOF | ./filter_tmpdir.sh $ caisar verify -L . --format whyml --prover PyRAT --prover-altern ACAS - 2>&1 <<EOF | ./filter_tmpdir.sh
> theory T > theory T
> use ieee_float.Float64 > use ieee_float.Float64
> use bool.Bool > use bool.Bool
......
tests/interpretation_dataset.t
+ 1
− 1
View file @ 03794fb2
...@@ -4,7 +4,7 @@ Test interpret on dataset ...@@ -4,7 +4,7 @@ Test interpret on dataset
> 0,1.0,0.0,0.019607843,0.776470588,0.784313725 > 0,1.0,0.0,0.019607843,0.776470588,0.784313725
> EOF > EOF
$ caisar interpret -L . --format whyml - 2>&1 <<EOF | ./filter_tmpdir.sh $ caisar verify -L . --format whyml --prover Marabou -vv - 2>&1 <<EOF | ./filter_tmpdir.sh
> theory T > theory T
> use ieee_float.Float64 > use ieee_float.Float64
> use bool.Bool > use bool.Bool
......
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