Lines Matching defs:initial_facts
465 const spvtools::fuzz::protobufs::FactSequence& initial_facts,
496 initial_facts, transformation_sequence, num_transformations_to_apply,
509 const spvtools::fuzz::protobufs::FactSequence& initial_facts,
549 initial_facts, transformation_sequence, interestingness_function,
566 const spvtools::fuzz::protobufs::FactSequence& initial_facts,
621 initial_facts);
719 spvtools::fuzz::protobufs::FactSequence initial_facts;
732 &initial_facts)
747 target_env, validator_options, binary_in, initial_facts,
754 initial_facts, donors_file, repeated_pass_strategy,
761 initial_facts, replay_transformations_file, &binary_out,
768 initial_facts, shrink_transformations_file,