aalpy.paths

File in which necessary paths for model checking are defined.

path_to_prism is the absolute or relative path to the prism executable. Note that it has to include the executable file, not just the folder. Eg. /usr/edi/prism/prism.bat and NOT /usr/edi/prism/

If you learn one of the provided examples path to properties should be relative or absolute path to 'Benchmarking\prism_eval_props'.

View Source
"""
File in which necessary paths for model checking are defined.

path_to_prism is the absolute or relative path to the prism executable. Note that it has to include the executable file,
not just the folder. Eg. /usr/edi/prism/prism.bat and NOT /usr/edi/prism/

If you learn one of the provided examples path to properties should be relative or
absolute path to 'Benchmarking\prism_eval_props'.
"""

path_to_prism = None
path_to_properties = None