Merge branch 'fix/julien/test-oracles' into 'master'
Option for printing actual task sent to provers Closes #23 See merge request laiser/caisar!85
Showing
- doc/usage.rst 66 additions, 30 deletionsdoc/usage.rst
- src/autodetect.ml 3 additions, 4 deletionssrc/autodetect.ml
- src/autodetect.mli 2 additions, 4 deletionssrc/autodetect.mli
- src/convert_xgboost.ml 1 addition, 1 deletionsrc/convert_xgboost.ml
- src/dune 1 addition, 0 deletionssrc/dune
- src/logging.ml 60 additions, 0 deletionssrc/logging.ml
- src/logging.mli 38 additions, 0 deletionssrc/logging.mli
- src/main.ml 24 additions, 37 deletionssrc/main.ml
- src/verification.ml 13 additions, 7 deletionssrc/verification.ml
- src/verification.mli 1 addition, 4 deletionssrc/verification.mli
- tests/aimos.t 1 addition, 1 deletiontests/aimos.t
- tests/autodetect.t 12 additions, 14 deletionstests/autodetect.t
- tests/cvc5.t 217 additions, 3 deletionstests/cvc5.t
- tests/dataset.t 502 additions, 6 deletionstests/dataset.t
- tests/interpretation_acasxu.t 39 additions, 3 deletionstests/interpretation_acasxu.t
- tests/interpretation_dataset.t 94 additions, 2 deletionstests/interpretation_dataset.t
- tests/marabou.t 61 additions, 5 deletionstests/marabou.t
- tests/pyrat.t 57 additions, 4 deletionstests/pyrat.t
- tests/pyrat_onnx.t 13 additions, 3 deletionstests/pyrat_onnx.t
- tests/saver.t 3 additions, 3 deletionstests/saver.t
Loading
Please register or sign in to comment