Potential: put it in the rif in batch mode too (ie, not only in rdbg mode)
Showing
- lib/sasa/sasaRun.ml 132 additions, 128 deletionslib/sasa/sasaRun.ml
- lib/sasacore/env.mli 4 additions, 3 deletionslib/sasacore/env.mli
- lib/sasacore/main.ml 6 additions, 2 deletionslib/sasacore/main.ml
- lib/sasacore/step.ml 3 additions, 6 deletionslib/sasacore/step.ml
- lib/sasacore/step.mli 3 additions, 0 deletionslib/sasacore/step.mli
- src/sasaMain.ml 65 additions, 33 deletionssrc/sasaMain.ml
Loading
Please register or sign in to comment