Fix: Do not use fault injection with oracles in unison
Showing
- test/unison/Makefile 10 additions, 2 deletionstest/unison/Makefile
- test/unison/state.ml 1 addition, 6 deletionstest/unison/state.ml
- test/unison/state_no_fault.ml 22 additions, 0 deletionstest/unison/state_no_fault.ml
- test/unison/state_with_fault.ml 27 additions, 0 deletionstest/unison/state_with_fault.ml
Loading
Please register or sign in to comment