feat: add a fault injection button in the GUI
Showing
- lib/sasa/sasaRun.ml 58 additions, 50 deletionslib/sasa/sasaRun.ml
- lib/sasacore/round.ml 25 additions, 16 deletionslib/sasacore/round.ml
- lib/sasacore/simuState.ml 27 additions, 1 deletionlib/sasacore/simuState.ml
- lib/sasacore/simuState.mli 13 additions, 3 deletionslib/sasacore/simuState.mli
- salut/test/Makefile.inc 6 additions, 2 deletionssalut/test/Makefile.inc
- src/sasaMain.ml 4 additions, 16 deletionssrc/sasaMain.ml
- test/Makefile.inc 8 additions, 4 deletionstest/Makefile.inc
- test/dune2copy 1 addition, 1 deletiontest/dune2copy
- tools/rdbg4sasa/gtkgui.ml 56 additions, 26 deletionstools/rdbg4sasa/gtkgui.ml
- tools/rdbg4sasa/sasa-rdbg-cmds.ml 16 additions, 0 deletionstools/rdbg4sasa/sasa-rdbg-cmds.ml
Loading
Please register or sign in to comment