parse_input_file

taco_cli::cli

Function parse_input_file 

Source 
pub(crate) fn parse_input_file(
    cfg: SpecFileInput,
) -> Result<(GeneralThresholdAutomaton, ELTLSpecification), Error>
Expand description

Parse the input file into a threshold automaton

This tries to open the file given by SpecFileInput and tries to format it according to the format specified. If no format is specified, tries to detect the file ending, otherwise uses ByMC by default.