You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
16 lines
484 B
16 lines
484 B
import os
|
|
|
|
testfile_dir = os.path.join(os.path.dirname(os.path.abspath(__file__)), "files")
|
|
|
|
|
|
def _path(folder, file):
|
|
"""Internal method for simpler listing of examples"""
|
|
return os.path.join(testfile_dir, folder, file)
|
|
|
|
|
|
prism_dtmc_die = _path("dtmc", "die.pm")
|
|
"""Knuth Yao Die Example"""
|
|
prism_pdtmc_die = _path("pdtmc", "parametric_die.pm")
|
|
"""Knuth Yao Die -- 2 unfair coins Example"""
|
|
prism_dtmc_brp = _path("dtmc", "brp-16-2.pm")
|
|
"""Bounded Retransmission Protocol"""
|