Index of /backup/Downloads/prism-4.8.1-linux64-x86/etc/tests/

../
dtmc_pctl.prism                                    12-Jan-2024 23:19                 312
dtmc_pctl.prism.props                              12-Jan-2024 23:19                  30
dtmc_pctl.prism.props.args                         12-Jan-2024 23:19                   7
run.sh                                             12-Jan-2024 23:19                 630
test_lpsolve_mdpmo.prism                           12-Jan-2024 23:19                 323
test_lpsolve_mdpmo.prism.props                     12-Jan-2024 23:19                  53
test_lpsolve_mdpmo.prism.props.args                12-Jan-2024 23:19                   4