fix: round numbers were wrong and inconsistant (in sasa, rdbg, and oracles)
Showing
- src/sasaMain.ml 6 additions, 2 deletionssrc/sasaMain.ml
- test/bfs-spanning-tree/bfs_spanning_tree_oracle.lus 6 additions, 5 deletionstest/bfs-spanning-tree/bfs_spanning_tree_oracle.lus
- test/bfs-spanning-tree/fig51_noinit.rif.exp 1 addition, 1 deletiontest/bfs-spanning-tree/fig51_noinit.rif.exp
- test/dfs-list/4.13.1/g.rif.exp 2 additions, 2 deletionstest/dfs-list/4.13.1/g.rif.exp
- test/dfs/4.13.1/g.rif.exp 2 additions, 2 deletionstest/dfs/4.13.1/g.rif.exp
- test/lustre/round.lus 9 additions, 8 deletionstest/lustre/round.lus
- test/rsp-tree/4.13.1/ba100.rif.exp 2 additions, 2 deletionstest/rsp-tree/4.13.1/ba100.rif.exp
- test/rsp-tree/4.13.1/er30.rif.exp 2 additions, 2 deletionstest/rsp-tree/4.13.1/er30.rif.exp
- test/rsp-tree/4.13.1/grid4.rif.exp 2 additions, 2 deletionstest/rsp-tree/4.13.1/grid4.rif.exp
- test/rsp-tree/4.13.1/udg100.rif.exp 2 additions, 2 deletionstest/rsp-tree/4.13.1/udg100.rif.exp
- test/toy-example-a5sf/te.rif.exp 3 additions, 3 deletionstest/toy-example-a5sf/te.rif.exp
- tools/rdbg4sasa/sasa-rdbg-cmds.ml 22 additions, 10 deletionstools/rdbg4sasa/sasa-rdbg-cmds.ml
Loading
Please register or sign in to comment