Laboratoire I3S

The output of LocFaults with at most 2 deviated conditions for each version in the benchmark BubbleSort

  1. V0
  2. V1
  3. V2
  4. V3
  5. V4
  6. V5
  7. V6
  8. V7
  9. V8
  10. V9
  11. V10
  12. V11
  13. V12
  14. V13
  15. V14
  16. V15
  17. V16
  18. V17
  19. V18