[trans] Declare all output variables for nn native transformation.
Showing
- src/proof_strategy.ml 2 additions, 5 deletionssrc/proof_strategy.ml
- src/proof_strategy.mli 1 addition, 1 deletionsrc/proof_strategy.mli
- src/transformations/native_nn_prover.ml 100 additions, 84 deletionssrc/transformations/native_nn_prover.ml
- src/transformations/native_nn_prover.mli 1 addition, 1 deletionsrc/transformations/native_nn_prover.mli
- src/verification.ml 8 additions, 8 deletionssrc/verification.ml
Loading
Please register or sign in to comment