DependableSystemsLab / LLFI

LLFI is an LLVM based fault injection tool, that injects faults into the LLVM IR of the application source code. The faults can be injected into specific program points, and the effect can be easily tracked back to the source code. Please refer to the paper below. NOTE: If you publish a paper using LLFI, please add it to PaperLLFI.bib
http://blogs.ubc.ca/karthik/2014/02/23/quantifying-the-accuracy-of-high-level-fault-injection-techniques/
Other
66 stars 36 forks source link

input.yaml:ERROR:Unknown Instruction selection method in input.yaml #119

Closed zuiaiziai closed 5 years ago

zuiaiziai commented 5 years ago

hello, When I use factorial file in the test_programs directory to test LLFI with the command '/bin/instrument --readable factorial.ll', I get an error: Unknown Instruction selection method in input.yaml. I try many times,but I can't resolve this problem. The contents below is the input.yaml file in factorial file: compileOption: instSelMethod:

runOption:

karthikp-ubc commented 5 years ago

We will look into it and get back to you- thanks for your patience.

zuiaiziai commented 5 years ago

Ok, thank you very much! I will be patient.

karthikp-ubc commented 5 years ago

I believe this issue has been resolved based on offline communications between you and lpalazzi, so I'm closing this - please feel free to reopen it if it's still unresolved (I also closed a duplicate of this issue).