Skip to content

Latest commit

 

History

History
17 lines (11 loc) · 860 Bytes

README.md

File metadata and controls

17 lines (11 loc) · 860 Bytes

harness.py, when run, will perform 100 experiments in which a random graph is created and then brute force and LDFI experiments are run on it.

you will need to install graphviz, pulp, and pycosat.

git clone https://github.com/palvaro/ldfi-py.git

# haha woops
ln -s ldfi-py ldfi_py
python harness.py

Stuff that still needs to get done:

  1. implement a smart random fault injector
  2. implement a breadth-first fault injector
  3. explore more principled approaches (like Ashtosh and Asha did) to random generation of graphs.
  4. can we provide that LDFI is complete w.r.t. this model? that is, when LDFI gives up that means there ARE NO BUGS. naively, we would just do unbounded brute-force search to mechanistically prove completeness, but unfortunately in some cases we would need to wait till after the heat death of the universe.