Skip to content

Commit

Permalink
Deltadebugging fix type checker
Browse files Browse the repository at this point in the history
  • Loading branch information
Perun CaseStudies authored and Perun CaseStudies committed Nov 11, 2024
1 parent b44537a commit a3c645d
Showing 1 changed file with 5 additions and 2 deletions.
7 changes: 5 additions & 2 deletions perun/deltadebugging/factory.py
Original file line number Diff line number Diff line change
Expand Up @@ -110,10 +110,13 @@ def run_command_with_input(executable: Executable, complement: str, **kwargs: An

def read_input(is_fuzzing: bool, **kwargs: Any) -> str:
if is_fuzzing:
mutation: Mutation = kwargs.get("mutation")
mutation = kwargs.get("mutation")
if mutation is None:
raise ValueError("Got unexpected mutation")
input_file = mutation.path
else:
input_file = kwargs.get("input_sample")
input_file = kwargs.get("input_sample", "")

input_path = Path(input_file)
if input_path.is_file():
with open(input_path, "r") as file:
Expand Down

0 comments on commit a3c645d

Please sign in to comment.