refactor: add a legitimate input argument to generated oracles (and sasa outputs)
Showing
- lib/sasacore/genOracle.ml 3 additions, 3 deletionslib/sasacore/genOracle.ml
- lib/sasacore/simuState.ml 2 additions, 2 deletionslib/sasacore/simuState.ml
- src/sasaMain.ml 16 additions, 14 deletionssrc/sasaMain.ml
- test/async-unison/ring.rif.exp 504 additions, 504 deletionstest/async-unison/ring.rif.exp
- test/bfs-spanning-tree/fig51_noinit.rif.exp 5 additions, 5 deletionstest/bfs-spanning-tree/fig51_noinit.rif.exp
- test/coloring/coloring.rif.exp 8 additions, 8 deletionstest/coloring/coloring.rif.exp
- test/coloring/coloring2.rif.exp 9 additions, 9 deletionstest/coloring/coloring2.rif.exp
- test/dfs/4.12.0/g.rif.exp 15 additions, 15 deletionstest/dfs/4.12.0/g.rif.exp
- test/dfs/4.12.0/test1.rif.exp 22 additions, 22 deletionstest/dfs/4.12.0/test1.rif.exp
- test/dijkstra-ring/dijkstra_ring_oracle.lus 25 additions, 13 deletionstest/dijkstra-ring/dijkstra_ring_oracle.lus
- test/dijkstra-ring/ring.rif.exp 11 additions, 11 deletionstest/dijkstra-ring/ring.rif.exp
- test/st-KK06-algo1/st_KK06_algo1_oracle.lus 2 additions, 2 deletionstest/st-KK06-algo1/st_KK06_algo1_oracle.lus
- test/st-KK06-algo2/st_KK06_algo2_oracle.lus 1 addition, 1 deletiontest/st-KK06-algo2/st_KK06_algo2_oracle.lus
- test/toy-example-a5sf/te.rif.exp 27 additions, 27 deletionstest/toy-example-a5sf/te.rif.exp
- test/unison/unison_oracle.lus 1 addition, 3 deletionstest/unison/unison_oracle.lus
Loading
Please register or sign in to comment