From 461951c52ece513002d1993bd461c97c67ddb75e Mon Sep 17 00:00:00 2001 From: sjunges Date: Fri, 16 Dec 2016 00:01:12 +0100 Subject: [PATCH] test files are part of stormpy lib now, which allows simpler access to them via stormpy.examples.files --- lib/stormpy/examples/__init__.py | 0 lib/stormpy/examples/files.py | 13 +++++++++++++ .../stormpy/examples/files}/ctmc/cluster2.sm | 0 .../stormpy/examples/files}/ctmc/embedded2.sm | 0 .../stormpy/examples/files}/ctmc/fms2.sm | 0 .../stormpy/examples/files}/ctmc/polling2.sm | 0 .../stormpy/examples/files}/ctmc/tandem5.sm | 0 .../stormpy/examples/files}/dtmc/brp-16-2.pm | 0 .../stormpy/examples/files}/dtmc/crowds-5-5.pm | 0 .../stormpy/examples/files}/dtmc/crowds5_5.pm | 0 .../stormpy/examples/files}/dtmc/die.lab | 0 .../stormpy/examples/files}/dtmc/die.pm | 0 .../stormpy/examples/files}/dtmc/die.tra | 0 .../stormpy/examples/files}/dtmc/leader-3-5.pm | 0 .../stormpy/examples/files}/dtmc/leader3_5.pm | 0 .../stormpy/examples/files}/dtmc/nand-5-2.pm | 0 .../examples/files}/dtmc/test_conditional.pm | 0 .../stormpy/examples/files}/lab/autoParser.lab | 0 .../stormpy/examples/files}/lab/crowds5_5.lab | 0 .../examples/files}/lab/declarationMisspell.lab | 0 .../stormpy/examples/files}/lab/die.lab | 0 .../stormpy/examples/files}/lab/doubledLines.lab | 0 .../examples/files}/lab/doubledLinesSkipped.lab | 0 .../stormpy/examples/files}/lab/dtmc_actionTest.lab | 0 .../stormpy/examples/files}/lab/dtmc_general.lab | 0 .../stormpy/examples/files}/lab/dtmc_mismatched.lab | 0 .../stormpy/examples/files}/lab/endMisspell.lab | 0 .../files}/lab/labelForNonexistentState.lab | 0 .../stormpy/examples/files}/lab/leader4.lab | 0 .../stormpy/examples/files}/lab/leader4_8.lab | 0 .../examples/files}/lab/ma_cslFilterTest.lab | 0 .../stormpy/examples/files}/lab/ma_general.lab | 0 .../stormpy/examples/files}/lab/ma_mismatched.lab | 0 .../stormpy/examples/files}/lab/mdp_general.lab | 0 .../stormpy/examples/files}/lab/mdp_mismatched.lab | 0 .../examples/files}/lab/noDeclarationTag.lab | 0 .../stormpy/examples/files}/lab/noEndTag.lab | 0 .../examples/files}/lab/noLabelsDecNoneGiven.lab | 0 .../stormpy/examples/files}/lab/pctl_general.lab | 0 .../files}/lab/swappedStateAndProposition.lab | 0 .../stormpy/examples/files}/lab/tiny1.lab | 0 .../stormpy/examples/files}/lab/tiny2.lab | 0 .../stormpy/examples/files}/lab/two_dice.lab | 0 .../examples/files}/lab/undeclaredLabelsGiven.lab | 0 .../stormpy/examples/files}/lab/withWhitespaces.lab | 0 .../examples/files}/lab/withoutWhitespaces.lab | 0 .../stormpy/examples/files}/ma/hybrid_states.ma | 0 .../stormpy/examples/files}/ma/simple.ma | 0 .../stormpy/examples/files}/ma/stream2.ma | 0 .../stormpy/examples/files}/mdp/SmallPrismTest.nm | 0 .../stormpy/examples/files}/mdp/SmallPrismTest2.nm | 0 .../files}/mdp/coin2-2-illegalSynchronizingWrite.nm | 0 .../stormpy/examples/files}/mdp/coin2-2.nm | 0 .../stormpy/examples/files}/mdp/coin2.nm | 0 .../stormpy/examples/files}/mdp/csma2-2.nm | 0 .../stormpy/examples/files}/mdp/csma2_2.nm | 0 .../stormpy/examples/files}/mdp/die_c1.nm | 0 .../stormpy/examples/files}/mdp/die_selection.nm | 0 .../stormpy/examples/files}/mdp/firewire.nm | 0 .../stormpy/examples/files}/mdp/firewire3-0.5.nm | 0 .../stormpy/examples/files}/mdp/leader3.nm | 0 .../stormpy/examples/files}/mdp/leader4.nm | 0 .../stormpy/examples/files}/mdp/multiobjective1.nm | 0 .../stormpy/examples/files}/mdp/multiobjective2.nm | 0 .../examples/files}/mdp/scheduler_generation.nm | 0 .../examples/files}/mdp/system_composition.nm | 0 .../examples/files}/mdp/system_composition2.nm | 0 .../stormpy/examples/files}/mdp/tiny_rewards.nm | 0 .../stormpy/examples/files}/mdp/two_dice.lab | 0 .../stormpy/examples/files}/mdp/two_dice.nm | 0 .../stormpy/examples/files}/mdp/two_dice.tra | 0 .../stormpy/examples/files}/mdp/wlan0-2-2.nm | 0 .../stormpy/examples/files}/mdp/wlan0_collide.nm | 0 .../stormpy/examples/files}/pdtmc/brp16_2.pm | 0 .../examples/files}/pdtmc/brp_rewards16_2.pm | 0 .../stormpy/examples/files}/pdtmc/crowds3_5.pm | 0 .../stormpy/examples/files}/pdtmc/parametric_die.pm | 0 .../stormpy/examples/files}/pmdp/coin2_2.pm | 0 .../stormpy/examples/files}/pmdp/two_dice.nm | 0 .../stormpy/examples/files}/prctl/apOnly.prctl | 0 .../examples/files}/prctl/complexFormula.prctl | 0 .../files}/prctl/probabilisticFormula.prctl | 0 .../files}/prctl/probabilisticNoBoundFormula.prctl | 0 .../files}/prctl/propositionalFormula.prctl | 0 .../examples/files}/prctl/rewardFormula.prctl | 0 .../files}/prctl/rewardNoBoundFormula.prctl | 0 .../stormpy/examples/files}/prctl/two_dice.prctl | 0 .../examples/files}/rew/autoParser.state.rew | 0 .../examples/files}/rew/die.coin_flips.trans.rew | 0 .../examples/files}/rew/dtmc_general.state.rew | 0 .../examples/files}/rew/dtmc_general.trans.rew | 0 .../examples/files}/rew/dtmc_mismatched.trans.rew | 0 .../files}/rew/dtmc_mixedStateOrder.trans.rew | 0 .../files}/rew/dtmc_mixedTransitionOrder.trans.rew | 0 .../files}/rew/dtmc_rewardForNonExTrans.trans.rew | 0 .../examples/files}/rew/dtmc_whitespaces.trans.rew | 0 .../stormpy/examples/files}/rew/leader4.trans.rew | 0 .../examples/files}/rew/leader4_8.pick.trans.rew | 0 .../examples/files}/rew/ma_general.state.rew | 0 .../examples/files}/rew/ma_mismatched.state.rew | 0 .../examples/files}/rew/mdp_general.state.rew | 0 .../examples/files}/rew/mdp_general.trans.rew | 0 .../examples/files}/rew/mdp_mismatched.trans.rew | 0 .../files}/rew/mdp_mixedStateOrder.trans.rew | 0 .../files}/rew/mdp_mixedTransitionOrder.trans.rew | 0 .../files}/rew/mdp_rewardForNonExTrans.trans.rew | 0 .../examples/files}/rew/mdp_whitespaces.trans.rew | 0 .../files}/rew/state_reward_parser_basic.state.rew | 0 .../rew/state_reward_parser_doubledLines.state.rew | 0 ...tate_reward_parser_doubledLinesSkipped.state.rew | 0 .../rew/state_reward_parser_whitespaces.state.rew | 0 .../examples/files}/rew/two_dice.flip.state.rew | 0 .../examples/files}/rew/two_dice.flip.trans.rew | 0 .../stormpy/examples/files}/tra/crowds5_5.tra | 0 .../stormpy/examples/files}/tra/csl_general.tra | 0 .../stormpy/examples/files}/tra/ctmc.tra | 0 .../stormpy/examples/files}/tra/ctmdp.tra | 0 .../stormpy/examples/files}/tra/die.tra | 0 .../stormpy/examples/files}/tra/dtmc.tra | 0 .../examples/files}/tra/dtmcWhitespaces1.tra | 0 .../examples/files}/tra/dtmcWhitespaces2.tra | 0 .../stormpy/examples/files}/tra/dtmc_actionTest.tra | 0 .../stormpy/examples/files}/tra/dtmc_deadlock.tra | 0 .../examples/files}/tra/dtmc_doubledLines.tra | 0 .../stormpy/examples/files}/tra/dtmc_general.tra | 0 .../stormpy/examples/files}/tra/dtmc_mismatched.tra | 0 .../examples/files}/tra/dtmc_mixedStateOrder.tra | 0 .../files}/tra/dtmc_mixedTransitionOrder.tra | 0 .../examples/files}/tra/dtmc_whitespaces.tra | 0 .../stormpy/examples/files}/tra/leader4.tra | 0 .../stormpy/examples/files}/tra/leader4_8.tra | 0 .../stormpy/examples/files}/tra/ma.tra | 0 .../examples/files}/tra/ma_cslFilterTest.tra | 0 .../stormpy/examples/files}/tra/ma_deadlock.tra | 0 .../stormpy/examples/files}/tra/ma_general.tra | 0 .../stormpy/examples/files}/tra/ma_whitespaces.tra | 0 .../stormpy/examples/files}/tra/mdp.tra | 0 .../stormpy/examples/files}/tra/mdp_deadlock.tra | 0 .../examples/files}/tra/mdp_doubledLines.tra | 0 .../stormpy/examples/files}/tra/mdp_general.tra | 0 .../stormpy/examples/files}/tra/mdp_mismatched.tra | 0 .../examples/files}/tra/mdp_mixedStateOrder.tra | 0 .../files}/tra/mdp_mixedTransitionOrder.tra | 0 .../stormpy/examples/files}/tra/mdp_whitespaces.tra | 0 .../stormpy/examples/files}/tra/noHint.tra | 0 .../stormpy/examples/files}/tra/pctl_general.tra | 0 .../stormpy/examples/files}/tra/readme.txt | 0 .../stormpy/examples/files}/tra/tiny1.tra | 0 .../stormpy/examples/files}/tra/tiny2.tra | 0 .../stormpy/examples/files}/tra/two_dice.tra | 0 .../stormpy/examples/files}/tra/wrongHint.tra | 0 .../examples/files}/tra/wrong_format_header1.tra | 0 .../examples/files}/tra/wrong_format_header2.tra | 0 .../examples/files}/tra/wrong_format_transition.tra | 0 .../stormpy/examples/files}/txt/testStringFile.txt | 0 tests/helpers/helper.py | 5 ++++- 156 files changed, 17 insertions(+), 1 deletion(-) create mode 100644 lib/stormpy/examples/__init__.py create mode 100644 lib/stormpy/examples/files.py rename {resources/examples/testfiles => lib/stormpy/examples/files}/ctmc/cluster2.sm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/ctmc/embedded2.sm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/ctmc/fms2.sm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/ctmc/polling2.sm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/ctmc/tandem5.sm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/dtmc/brp-16-2.pm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/dtmc/crowds-5-5.pm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/dtmc/crowds5_5.pm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/dtmc/die.lab (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/dtmc/die.pm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/dtmc/die.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/dtmc/leader-3-5.pm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/dtmc/leader3_5.pm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/dtmc/nand-5-2.pm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/dtmc/test_conditional.pm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/lab/autoParser.lab (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/lab/crowds5_5.lab (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/lab/declarationMisspell.lab (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/lab/die.lab (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/lab/doubledLines.lab (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/lab/doubledLinesSkipped.lab (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/lab/dtmc_actionTest.lab (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/lab/dtmc_general.lab (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/lab/dtmc_mismatched.lab (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/lab/endMisspell.lab (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/lab/labelForNonexistentState.lab (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/lab/leader4.lab (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/lab/leader4_8.lab (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/lab/ma_cslFilterTest.lab (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/lab/ma_general.lab (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/lab/ma_mismatched.lab (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/lab/mdp_general.lab (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/lab/mdp_mismatched.lab (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/lab/noDeclarationTag.lab (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/lab/noEndTag.lab (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/lab/noLabelsDecNoneGiven.lab (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/lab/pctl_general.lab (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/lab/swappedStateAndProposition.lab (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/lab/tiny1.lab (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/lab/tiny2.lab (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/lab/two_dice.lab (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/lab/undeclaredLabelsGiven.lab (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/lab/withWhitespaces.lab (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/lab/withoutWhitespaces.lab (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/ma/hybrid_states.ma (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/ma/simple.ma (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/ma/stream2.ma (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/mdp/SmallPrismTest.nm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/mdp/SmallPrismTest2.nm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/mdp/coin2-2-illegalSynchronizingWrite.nm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/mdp/coin2-2.nm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/mdp/coin2.nm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/mdp/csma2-2.nm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/mdp/csma2_2.nm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/mdp/die_c1.nm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/mdp/die_selection.nm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/mdp/firewire.nm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/mdp/firewire3-0.5.nm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/mdp/leader3.nm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/mdp/leader4.nm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/mdp/multiobjective1.nm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/mdp/multiobjective2.nm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/mdp/scheduler_generation.nm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/mdp/system_composition.nm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/mdp/system_composition2.nm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/mdp/tiny_rewards.nm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/mdp/two_dice.lab (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/mdp/two_dice.nm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/mdp/two_dice.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/mdp/wlan0-2-2.nm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/mdp/wlan0_collide.nm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/pdtmc/brp16_2.pm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/pdtmc/brp_rewards16_2.pm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/pdtmc/crowds3_5.pm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/pdtmc/parametric_die.pm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/pmdp/coin2_2.pm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/pmdp/two_dice.nm (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/prctl/apOnly.prctl (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/prctl/complexFormula.prctl (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/prctl/probabilisticFormula.prctl (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/prctl/probabilisticNoBoundFormula.prctl (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/prctl/propositionalFormula.prctl (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/prctl/rewardFormula.prctl (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/prctl/rewardNoBoundFormula.prctl (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/prctl/two_dice.prctl (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/rew/autoParser.state.rew (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/rew/die.coin_flips.trans.rew (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/rew/dtmc_general.state.rew (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/rew/dtmc_general.trans.rew (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/rew/dtmc_mismatched.trans.rew (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/rew/dtmc_mixedStateOrder.trans.rew (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/rew/dtmc_mixedTransitionOrder.trans.rew (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/rew/dtmc_rewardForNonExTrans.trans.rew (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/rew/dtmc_whitespaces.trans.rew (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/rew/leader4.trans.rew (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/rew/leader4_8.pick.trans.rew (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/rew/ma_general.state.rew (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/rew/ma_mismatched.state.rew (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/rew/mdp_general.state.rew (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/rew/mdp_general.trans.rew (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/rew/mdp_mismatched.trans.rew (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/rew/mdp_mixedStateOrder.trans.rew (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/rew/mdp_mixedTransitionOrder.trans.rew (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/rew/mdp_rewardForNonExTrans.trans.rew (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/rew/mdp_whitespaces.trans.rew (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/rew/state_reward_parser_basic.state.rew (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/rew/state_reward_parser_doubledLines.state.rew (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/rew/state_reward_parser_doubledLinesSkipped.state.rew (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/rew/state_reward_parser_whitespaces.state.rew (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/rew/two_dice.flip.state.rew (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/rew/two_dice.flip.trans.rew (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/crowds5_5.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/csl_general.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/ctmc.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/ctmdp.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/die.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/dtmc.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/dtmcWhitespaces1.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/dtmcWhitespaces2.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/dtmc_actionTest.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/dtmc_deadlock.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/dtmc_doubledLines.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/dtmc_general.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/dtmc_mismatched.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/dtmc_mixedStateOrder.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/dtmc_mixedTransitionOrder.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/dtmc_whitespaces.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/leader4.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/leader4_8.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/ma.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/ma_cslFilterTest.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/ma_deadlock.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/ma_general.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/ma_whitespaces.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/mdp.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/mdp_deadlock.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/mdp_doubledLines.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/mdp_general.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/mdp_mismatched.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/mdp_mixedStateOrder.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/mdp_mixedTransitionOrder.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/mdp_whitespaces.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/noHint.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/pctl_general.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/readme.txt (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/tiny1.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/tiny2.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/two_dice.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/wrongHint.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/wrong_format_header1.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/wrong_format_header2.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/tra/wrong_format_transition.tra (100%) rename {resources/examples/testfiles => lib/stormpy/examples/files}/txt/testStringFile.txt (100%) diff --git a/lib/stormpy/examples/__init__.py b/lib/stormpy/examples/__init__.py new file mode 100644 index 0000000..e69de29 diff --git a/lib/stormpy/examples/files.py b/lib/stormpy/examples/files.py new file mode 100644 index 0000000..fa0e663 --- /dev/null +++ b/lib/stormpy/examples/files.py @@ -0,0 +1,13 @@ +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_dtmc_brp = _path("dtmc", "brp-16-2.pm") +"""Bounded Retransmission Protocol""" \ No newline at end of file diff --git a/resources/examples/testfiles/ctmc/cluster2.sm b/lib/stormpy/examples/files/ctmc/cluster2.sm similarity index 100% rename from resources/examples/testfiles/ctmc/cluster2.sm rename to lib/stormpy/examples/files/ctmc/cluster2.sm diff --git a/resources/examples/testfiles/ctmc/embedded2.sm b/lib/stormpy/examples/files/ctmc/embedded2.sm similarity index 100% rename from resources/examples/testfiles/ctmc/embedded2.sm rename to lib/stormpy/examples/files/ctmc/embedded2.sm diff --git a/resources/examples/testfiles/ctmc/fms2.sm b/lib/stormpy/examples/files/ctmc/fms2.sm similarity index 100% rename from resources/examples/testfiles/ctmc/fms2.sm rename to lib/stormpy/examples/files/ctmc/fms2.sm diff --git a/resources/examples/testfiles/ctmc/polling2.sm b/lib/stormpy/examples/files/ctmc/polling2.sm similarity index 100% rename from resources/examples/testfiles/ctmc/polling2.sm rename to lib/stormpy/examples/files/ctmc/polling2.sm diff --git a/resources/examples/testfiles/ctmc/tandem5.sm b/lib/stormpy/examples/files/ctmc/tandem5.sm similarity index 100% rename from resources/examples/testfiles/ctmc/tandem5.sm rename to lib/stormpy/examples/files/ctmc/tandem5.sm diff --git a/resources/examples/testfiles/dtmc/brp-16-2.pm b/lib/stormpy/examples/files/dtmc/brp-16-2.pm similarity index 100% rename from resources/examples/testfiles/dtmc/brp-16-2.pm rename to lib/stormpy/examples/files/dtmc/brp-16-2.pm diff --git a/resources/examples/testfiles/dtmc/crowds-5-5.pm b/lib/stormpy/examples/files/dtmc/crowds-5-5.pm similarity index 100% rename from resources/examples/testfiles/dtmc/crowds-5-5.pm rename to lib/stormpy/examples/files/dtmc/crowds-5-5.pm diff --git a/resources/examples/testfiles/dtmc/crowds5_5.pm b/lib/stormpy/examples/files/dtmc/crowds5_5.pm similarity index 100% rename from resources/examples/testfiles/dtmc/crowds5_5.pm rename to lib/stormpy/examples/files/dtmc/crowds5_5.pm diff --git a/resources/examples/testfiles/dtmc/die.lab b/lib/stormpy/examples/files/dtmc/die.lab similarity index 100% rename from resources/examples/testfiles/dtmc/die.lab rename to lib/stormpy/examples/files/dtmc/die.lab diff --git a/resources/examples/testfiles/dtmc/die.pm b/lib/stormpy/examples/files/dtmc/die.pm similarity index 100% rename from resources/examples/testfiles/dtmc/die.pm rename to lib/stormpy/examples/files/dtmc/die.pm diff --git a/resources/examples/testfiles/dtmc/die.tra b/lib/stormpy/examples/files/dtmc/die.tra similarity index 100% rename from resources/examples/testfiles/dtmc/die.tra rename to lib/stormpy/examples/files/dtmc/die.tra diff --git a/resources/examples/testfiles/dtmc/leader-3-5.pm b/lib/stormpy/examples/files/dtmc/leader-3-5.pm similarity index 100% rename from resources/examples/testfiles/dtmc/leader-3-5.pm rename to lib/stormpy/examples/files/dtmc/leader-3-5.pm diff --git a/resources/examples/testfiles/dtmc/leader3_5.pm b/lib/stormpy/examples/files/dtmc/leader3_5.pm similarity index 100% rename from resources/examples/testfiles/dtmc/leader3_5.pm rename to lib/stormpy/examples/files/dtmc/leader3_5.pm diff --git a/resources/examples/testfiles/dtmc/nand-5-2.pm b/lib/stormpy/examples/files/dtmc/nand-5-2.pm similarity index 100% rename from resources/examples/testfiles/dtmc/nand-5-2.pm rename to lib/stormpy/examples/files/dtmc/nand-5-2.pm diff --git a/resources/examples/testfiles/dtmc/test_conditional.pm b/lib/stormpy/examples/files/dtmc/test_conditional.pm similarity index 100% rename from resources/examples/testfiles/dtmc/test_conditional.pm rename to lib/stormpy/examples/files/dtmc/test_conditional.pm diff --git a/resources/examples/testfiles/lab/autoParser.lab b/lib/stormpy/examples/files/lab/autoParser.lab similarity index 100% rename from resources/examples/testfiles/lab/autoParser.lab rename to lib/stormpy/examples/files/lab/autoParser.lab diff --git a/resources/examples/testfiles/lab/crowds5_5.lab b/lib/stormpy/examples/files/lab/crowds5_5.lab similarity index 100% rename from resources/examples/testfiles/lab/crowds5_5.lab rename to lib/stormpy/examples/files/lab/crowds5_5.lab diff --git a/resources/examples/testfiles/lab/declarationMisspell.lab b/lib/stormpy/examples/files/lab/declarationMisspell.lab similarity index 100% rename from resources/examples/testfiles/lab/declarationMisspell.lab rename to lib/stormpy/examples/files/lab/declarationMisspell.lab diff --git a/resources/examples/testfiles/lab/die.lab b/lib/stormpy/examples/files/lab/die.lab similarity index 100% rename from resources/examples/testfiles/lab/die.lab rename to lib/stormpy/examples/files/lab/die.lab diff --git a/resources/examples/testfiles/lab/doubledLines.lab b/lib/stormpy/examples/files/lab/doubledLines.lab similarity index 100% rename from resources/examples/testfiles/lab/doubledLines.lab rename to lib/stormpy/examples/files/lab/doubledLines.lab diff --git a/resources/examples/testfiles/lab/doubledLinesSkipped.lab b/lib/stormpy/examples/files/lab/doubledLinesSkipped.lab similarity index 100% rename from resources/examples/testfiles/lab/doubledLinesSkipped.lab rename to lib/stormpy/examples/files/lab/doubledLinesSkipped.lab diff --git a/resources/examples/testfiles/lab/dtmc_actionTest.lab b/lib/stormpy/examples/files/lab/dtmc_actionTest.lab similarity index 100% rename from resources/examples/testfiles/lab/dtmc_actionTest.lab rename to lib/stormpy/examples/files/lab/dtmc_actionTest.lab diff --git a/resources/examples/testfiles/lab/dtmc_general.lab b/lib/stormpy/examples/files/lab/dtmc_general.lab similarity index 100% rename from resources/examples/testfiles/lab/dtmc_general.lab rename to lib/stormpy/examples/files/lab/dtmc_general.lab diff --git a/resources/examples/testfiles/lab/dtmc_mismatched.lab b/lib/stormpy/examples/files/lab/dtmc_mismatched.lab similarity index 100% rename from resources/examples/testfiles/lab/dtmc_mismatched.lab rename to lib/stormpy/examples/files/lab/dtmc_mismatched.lab diff --git a/resources/examples/testfiles/lab/endMisspell.lab b/lib/stormpy/examples/files/lab/endMisspell.lab similarity index 100% rename from resources/examples/testfiles/lab/endMisspell.lab rename to lib/stormpy/examples/files/lab/endMisspell.lab diff --git a/resources/examples/testfiles/lab/labelForNonexistentState.lab b/lib/stormpy/examples/files/lab/labelForNonexistentState.lab similarity index 100% rename from resources/examples/testfiles/lab/labelForNonexistentState.lab rename to lib/stormpy/examples/files/lab/labelForNonexistentState.lab diff --git a/resources/examples/testfiles/lab/leader4.lab b/lib/stormpy/examples/files/lab/leader4.lab similarity index 100% rename from resources/examples/testfiles/lab/leader4.lab rename to lib/stormpy/examples/files/lab/leader4.lab diff --git a/resources/examples/testfiles/lab/leader4_8.lab b/lib/stormpy/examples/files/lab/leader4_8.lab similarity index 100% rename from resources/examples/testfiles/lab/leader4_8.lab rename to lib/stormpy/examples/files/lab/leader4_8.lab diff --git a/resources/examples/testfiles/lab/ma_cslFilterTest.lab b/lib/stormpy/examples/files/lab/ma_cslFilterTest.lab similarity index 100% rename from resources/examples/testfiles/lab/ma_cslFilterTest.lab rename to lib/stormpy/examples/files/lab/ma_cslFilterTest.lab diff --git a/resources/examples/testfiles/lab/ma_general.lab b/lib/stormpy/examples/files/lab/ma_general.lab similarity index 100% rename from resources/examples/testfiles/lab/ma_general.lab rename to lib/stormpy/examples/files/lab/ma_general.lab diff --git a/resources/examples/testfiles/lab/ma_mismatched.lab b/lib/stormpy/examples/files/lab/ma_mismatched.lab similarity index 100% rename from resources/examples/testfiles/lab/ma_mismatched.lab rename to lib/stormpy/examples/files/lab/ma_mismatched.lab diff --git a/resources/examples/testfiles/lab/mdp_general.lab b/lib/stormpy/examples/files/lab/mdp_general.lab similarity index 100% rename from resources/examples/testfiles/lab/mdp_general.lab rename to lib/stormpy/examples/files/lab/mdp_general.lab diff --git a/resources/examples/testfiles/lab/mdp_mismatched.lab b/lib/stormpy/examples/files/lab/mdp_mismatched.lab similarity index 100% rename from resources/examples/testfiles/lab/mdp_mismatched.lab rename to lib/stormpy/examples/files/lab/mdp_mismatched.lab diff --git a/resources/examples/testfiles/lab/noDeclarationTag.lab b/lib/stormpy/examples/files/lab/noDeclarationTag.lab similarity index 100% rename from resources/examples/testfiles/lab/noDeclarationTag.lab rename to lib/stormpy/examples/files/lab/noDeclarationTag.lab diff --git a/resources/examples/testfiles/lab/noEndTag.lab b/lib/stormpy/examples/files/lab/noEndTag.lab similarity index 100% rename from resources/examples/testfiles/lab/noEndTag.lab rename to lib/stormpy/examples/files/lab/noEndTag.lab diff --git a/resources/examples/testfiles/lab/noLabelsDecNoneGiven.lab b/lib/stormpy/examples/files/lab/noLabelsDecNoneGiven.lab similarity index 100% rename from resources/examples/testfiles/lab/noLabelsDecNoneGiven.lab rename to lib/stormpy/examples/files/lab/noLabelsDecNoneGiven.lab diff --git a/resources/examples/testfiles/lab/pctl_general.lab b/lib/stormpy/examples/files/lab/pctl_general.lab similarity index 100% rename from resources/examples/testfiles/lab/pctl_general.lab rename to lib/stormpy/examples/files/lab/pctl_general.lab diff --git a/resources/examples/testfiles/lab/swappedStateAndProposition.lab b/lib/stormpy/examples/files/lab/swappedStateAndProposition.lab similarity index 100% rename from resources/examples/testfiles/lab/swappedStateAndProposition.lab rename to lib/stormpy/examples/files/lab/swappedStateAndProposition.lab diff --git a/resources/examples/testfiles/lab/tiny1.lab b/lib/stormpy/examples/files/lab/tiny1.lab similarity index 100% rename from resources/examples/testfiles/lab/tiny1.lab rename to lib/stormpy/examples/files/lab/tiny1.lab diff --git a/resources/examples/testfiles/lab/tiny2.lab b/lib/stormpy/examples/files/lab/tiny2.lab similarity index 100% rename from resources/examples/testfiles/lab/tiny2.lab rename to lib/stormpy/examples/files/lab/tiny2.lab diff --git a/resources/examples/testfiles/lab/two_dice.lab b/lib/stormpy/examples/files/lab/two_dice.lab similarity index 100% rename from resources/examples/testfiles/lab/two_dice.lab rename to lib/stormpy/examples/files/lab/two_dice.lab diff --git a/resources/examples/testfiles/lab/undeclaredLabelsGiven.lab b/lib/stormpy/examples/files/lab/undeclaredLabelsGiven.lab similarity index 100% rename from resources/examples/testfiles/lab/undeclaredLabelsGiven.lab rename to lib/stormpy/examples/files/lab/undeclaredLabelsGiven.lab diff --git a/resources/examples/testfiles/lab/withWhitespaces.lab b/lib/stormpy/examples/files/lab/withWhitespaces.lab similarity index 100% rename from resources/examples/testfiles/lab/withWhitespaces.lab rename to lib/stormpy/examples/files/lab/withWhitespaces.lab diff --git a/resources/examples/testfiles/lab/withoutWhitespaces.lab b/lib/stormpy/examples/files/lab/withoutWhitespaces.lab similarity index 100% rename from resources/examples/testfiles/lab/withoutWhitespaces.lab rename to lib/stormpy/examples/files/lab/withoutWhitespaces.lab diff --git a/resources/examples/testfiles/ma/hybrid_states.ma b/lib/stormpy/examples/files/ma/hybrid_states.ma similarity index 100% rename from resources/examples/testfiles/ma/hybrid_states.ma rename to lib/stormpy/examples/files/ma/hybrid_states.ma diff --git a/resources/examples/testfiles/ma/simple.ma b/lib/stormpy/examples/files/ma/simple.ma similarity index 100% rename from resources/examples/testfiles/ma/simple.ma rename to lib/stormpy/examples/files/ma/simple.ma diff --git a/resources/examples/testfiles/ma/stream2.ma b/lib/stormpy/examples/files/ma/stream2.ma similarity index 100% rename from resources/examples/testfiles/ma/stream2.ma rename to lib/stormpy/examples/files/ma/stream2.ma diff --git a/resources/examples/testfiles/mdp/SmallPrismTest.nm b/lib/stormpy/examples/files/mdp/SmallPrismTest.nm similarity index 100% rename from resources/examples/testfiles/mdp/SmallPrismTest.nm rename to lib/stormpy/examples/files/mdp/SmallPrismTest.nm diff --git a/resources/examples/testfiles/mdp/SmallPrismTest2.nm b/lib/stormpy/examples/files/mdp/SmallPrismTest2.nm similarity index 100% rename from resources/examples/testfiles/mdp/SmallPrismTest2.nm rename to lib/stormpy/examples/files/mdp/SmallPrismTest2.nm diff --git a/resources/examples/testfiles/mdp/coin2-2-illegalSynchronizingWrite.nm b/lib/stormpy/examples/files/mdp/coin2-2-illegalSynchronizingWrite.nm similarity index 100% rename from resources/examples/testfiles/mdp/coin2-2-illegalSynchronizingWrite.nm rename to lib/stormpy/examples/files/mdp/coin2-2-illegalSynchronizingWrite.nm diff --git a/resources/examples/testfiles/mdp/coin2-2.nm b/lib/stormpy/examples/files/mdp/coin2-2.nm similarity index 100% rename from resources/examples/testfiles/mdp/coin2-2.nm rename to lib/stormpy/examples/files/mdp/coin2-2.nm diff --git a/resources/examples/testfiles/mdp/coin2.nm b/lib/stormpy/examples/files/mdp/coin2.nm similarity index 100% rename from resources/examples/testfiles/mdp/coin2.nm rename to lib/stormpy/examples/files/mdp/coin2.nm diff --git a/resources/examples/testfiles/mdp/csma2-2.nm b/lib/stormpy/examples/files/mdp/csma2-2.nm similarity index 100% rename from resources/examples/testfiles/mdp/csma2-2.nm rename to lib/stormpy/examples/files/mdp/csma2-2.nm diff --git a/resources/examples/testfiles/mdp/csma2_2.nm b/lib/stormpy/examples/files/mdp/csma2_2.nm similarity index 100% rename from resources/examples/testfiles/mdp/csma2_2.nm rename to lib/stormpy/examples/files/mdp/csma2_2.nm diff --git a/resources/examples/testfiles/mdp/die_c1.nm b/lib/stormpy/examples/files/mdp/die_c1.nm similarity index 100% rename from resources/examples/testfiles/mdp/die_c1.nm rename to lib/stormpy/examples/files/mdp/die_c1.nm diff --git a/resources/examples/testfiles/mdp/die_selection.nm b/lib/stormpy/examples/files/mdp/die_selection.nm similarity index 100% rename from resources/examples/testfiles/mdp/die_selection.nm rename to lib/stormpy/examples/files/mdp/die_selection.nm diff --git a/resources/examples/testfiles/mdp/firewire.nm b/lib/stormpy/examples/files/mdp/firewire.nm similarity index 100% rename from resources/examples/testfiles/mdp/firewire.nm rename to lib/stormpy/examples/files/mdp/firewire.nm diff --git a/resources/examples/testfiles/mdp/firewire3-0.5.nm b/lib/stormpy/examples/files/mdp/firewire3-0.5.nm similarity index 100% rename from resources/examples/testfiles/mdp/firewire3-0.5.nm rename to lib/stormpy/examples/files/mdp/firewire3-0.5.nm diff --git a/resources/examples/testfiles/mdp/leader3.nm b/lib/stormpy/examples/files/mdp/leader3.nm similarity index 100% rename from resources/examples/testfiles/mdp/leader3.nm rename to lib/stormpy/examples/files/mdp/leader3.nm diff --git a/resources/examples/testfiles/mdp/leader4.nm b/lib/stormpy/examples/files/mdp/leader4.nm similarity index 100% rename from resources/examples/testfiles/mdp/leader4.nm rename to lib/stormpy/examples/files/mdp/leader4.nm diff --git a/resources/examples/testfiles/mdp/multiobjective1.nm b/lib/stormpy/examples/files/mdp/multiobjective1.nm similarity index 100% rename from resources/examples/testfiles/mdp/multiobjective1.nm rename to lib/stormpy/examples/files/mdp/multiobjective1.nm diff --git a/resources/examples/testfiles/mdp/multiobjective2.nm b/lib/stormpy/examples/files/mdp/multiobjective2.nm similarity index 100% rename from resources/examples/testfiles/mdp/multiobjective2.nm rename to lib/stormpy/examples/files/mdp/multiobjective2.nm diff --git a/resources/examples/testfiles/mdp/scheduler_generation.nm b/lib/stormpy/examples/files/mdp/scheduler_generation.nm similarity index 100% rename from resources/examples/testfiles/mdp/scheduler_generation.nm rename to lib/stormpy/examples/files/mdp/scheduler_generation.nm diff --git a/resources/examples/testfiles/mdp/system_composition.nm b/lib/stormpy/examples/files/mdp/system_composition.nm similarity index 100% rename from resources/examples/testfiles/mdp/system_composition.nm rename to lib/stormpy/examples/files/mdp/system_composition.nm diff --git a/resources/examples/testfiles/mdp/system_composition2.nm b/lib/stormpy/examples/files/mdp/system_composition2.nm similarity index 100% rename from resources/examples/testfiles/mdp/system_composition2.nm rename to lib/stormpy/examples/files/mdp/system_composition2.nm diff --git a/resources/examples/testfiles/mdp/tiny_rewards.nm b/lib/stormpy/examples/files/mdp/tiny_rewards.nm similarity index 100% rename from resources/examples/testfiles/mdp/tiny_rewards.nm rename to lib/stormpy/examples/files/mdp/tiny_rewards.nm diff --git a/resources/examples/testfiles/mdp/two_dice.lab b/lib/stormpy/examples/files/mdp/two_dice.lab similarity index 100% rename from resources/examples/testfiles/mdp/two_dice.lab rename to lib/stormpy/examples/files/mdp/two_dice.lab diff --git a/resources/examples/testfiles/mdp/two_dice.nm b/lib/stormpy/examples/files/mdp/two_dice.nm similarity index 100% rename from resources/examples/testfiles/mdp/two_dice.nm rename to lib/stormpy/examples/files/mdp/two_dice.nm diff --git a/resources/examples/testfiles/mdp/two_dice.tra b/lib/stormpy/examples/files/mdp/two_dice.tra similarity index 100% rename from resources/examples/testfiles/mdp/two_dice.tra rename to lib/stormpy/examples/files/mdp/two_dice.tra diff --git a/resources/examples/testfiles/mdp/wlan0-2-2.nm b/lib/stormpy/examples/files/mdp/wlan0-2-2.nm similarity index 100% rename from resources/examples/testfiles/mdp/wlan0-2-2.nm rename to lib/stormpy/examples/files/mdp/wlan0-2-2.nm diff --git a/resources/examples/testfiles/mdp/wlan0_collide.nm b/lib/stormpy/examples/files/mdp/wlan0_collide.nm similarity index 100% rename from resources/examples/testfiles/mdp/wlan0_collide.nm rename to lib/stormpy/examples/files/mdp/wlan0_collide.nm diff --git a/resources/examples/testfiles/pdtmc/brp16_2.pm b/lib/stormpy/examples/files/pdtmc/brp16_2.pm similarity index 100% rename from resources/examples/testfiles/pdtmc/brp16_2.pm rename to lib/stormpy/examples/files/pdtmc/brp16_2.pm diff --git a/resources/examples/testfiles/pdtmc/brp_rewards16_2.pm b/lib/stormpy/examples/files/pdtmc/brp_rewards16_2.pm similarity index 100% rename from resources/examples/testfiles/pdtmc/brp_rewards16_2.pm rename to lib/stormpy/examples/files/pdtmc/brp_rewards16_2.pm diff --git a/resources/examples/testfiles/pdtmc/crowds3_5.pm b/lib/stormpy/examples/files/pdtmc/crowds3_5.pm similarity index 100% rename from resources/examples/testfiles/pdtmc/crowds3_5.pm rename to lib/stormpy/examples/files/pdtmc/crowds3_5.pm diff --git a/resources/examples/testfiles/pdtmc/parametric_die.pm b/lib/stormpy/examples/files/pdtmc/parametric_die.pm similarity index 100% rename from resources/examples/testfiles/pdtmc/parametric_die.pm rename to lib/stormpy/examples/files/pdtmc/parametric_die.pm diff --git a/resources/examples/testfiles/pmdp/coin2_2.pm b/lib/stormpy/examples/files/pmdp/coin2_2.pm similarity index 100% rename from resources/examples/testfiles/pmdp/coin2_2.pm rename to lib/stormpy/examples/files/pmdp/coin2_2.pm diff --git a/resources/examples/testfiles/pmdp/two_dice.nm b/lib/stormpy/examples/files/pmdp/two_dice.nm similarity index 100% rename from resources/examples/testfiles/pmdp/two_dice.nm rename to lib/stormpy/examples/files/pmdp/two_dice.nm diff --git a/resources/examples/testfiles/prctl/apOnly.prctl b/lib/stormpy/examples/files/prctl/apOnly.prctl similarity index 100% rename from resources/examples/testfiles/prctl/apOnly.prctl rename to lib/stormpy/examples/files/prctl/apOnly.prctl diff --git a/resources/examples/testfiles/prctl/complexFormula.prctl b/lib/stormpy/examples/files/prctl/complexFormula.prctl similarity index 100% rename from resources/examples/testfiles/prctl/complexFormula.prctl rename to lib/stormpy/examples/files/prctl/complexFormula.prctl diff --git a/resources/examples/testfiles/prctl/probabilisticFormula.prctl b/lib/stormpy/examples/files/prctl/probabilisticFormula.prctl similarity index 100% rename from resources/examples/testfiles/prctl/probabilisticFormula.prctl rename to lib/stormpy/examples/files/prctl/probabilisticFormula.prctl diff --git a/resources/examples/testfiles/prctl/probabilisticNoBoundFormula.prctl b/lib/stormpy/examples/files/prctl/probabilisticNoBoundFormula.prctl similarity index 100% rename from resources/examples/testfiles/prctl/probabilisticNoBoundFormula.prctl rename to lib/stormpy/examples/files/prctl/probabilisticNoBoundFormula.prctl diff --git a/resources/examples/testfiles/prctl/propositionalFormula.prctl b/lib/stormpy/examples/files/prctl/propositionalFormula.prctl similarity index 100% rename from resources/examples/testfiles/prctl/propositionalFormula.prctl rename to lib/stormpy/examples/files/prctl/propositionalFormula.prctl diff --git a/resources/examples/testfiles/prctl/rewardFormula.prctl b/lib/stormpy/examples/files/prctl/rewardFormula.prctl similarity index 100% rename from resources/examples/testfiles/prctl/rewardFormula.prctl rename to lib/stormpy/examples/files/prctl/rewardFormula.prctl diff --git a/resources/examples/testfiles/prctl/rewardNoBoundFormula.prctl b/lib/stormpy/examples/files/prctl/rewardNoBoundFormula.prctl similarity index 100% rename from resources/examples/testfiles/prctl/rewardNoBoundFormula.prctl rename to lib/stormpy/examples/files/prctl/rewardNoBoundFormula.prctl diff --git a/resources/examples/testfiles/prctl/two_dice.prctl b/lib/stormpy/examples/files/prctl/two_dice.prctl similarity index 100% rename from resources/examples/testfiles/prctl/two_dice.prctl rename to lib/stormpy/examples/files/prctl/two_dice.prctl diff --git a/resources/examples/testfiles/rew/autoParser.state.rew b/lib/stormpy/examples/files/rew/autoParser.state.rew similarity index 100% rename from resources/examples/testfiles/rew/autoParser.state.rew rename to lib/stormpy/examples/files/rew/autoParser.state.rew diff --git a/resources/examples/testfiles/rew/die.coin_flips.trans.rew b/lib/stormpy/examples/files/rew/die.coin_flips.trans.rew similarity index 100% rename from resources/examples/testfiles/rew/die.coin_flips.trans.rew rename to lib/stormpy/examples/files/rew/die.coin_flips.trans.rew diff --git a/resources/examples/testfiles/rew/dtmc_general.state.rew b/lib/stormpy/examples/files/rew/dtmc_general.state.rew similarity index 100% rename from resources/examples/testfiles/rew/dtmc_general.state.rew rename to lib/stormpy/examples/files/rew/dtmc_general.state.rew diff --git a/resources/examples/testfiles/rew/dtmc_general.trans.rew b/lib/stormpy/examples/files/rew/dtmc_general.trans.rew similarity index 100% rename from resources/examples/testfiles/rew/dtmc_general.trans.rew rename to lib/stormpy/examples/files/rew/dtmc_general.trans.rew diff --git a/resources/examples/testfiles/rew/dtmc_mismatched.trans.rew b/lib/stormpy/examples/files/rew/dtmc_mismatched.trans.rew similarity index 100% rename from resources/examples/testfiles/rew/dtmc_mismatched.trans.rew rename to lib/stormpy/examples/files/rew/dtmc_mismatched.trans.rew diff --git a/resources/examples/testfiles/rew/dtmc_mixedStateOrder.trans.rew b/lib/stormpy/examples/files/rew/dtmc_mixedStateOrder.trans.rew similarity index 100% rename from resources/examples/testfiles/rew/dtmc_mixedStateOrder.trans.rew rename to lib/stormpy/examples/files/rew/dtmc_mixedStateOrder.trans.rew diff --git a/resources/examples/testfiles/rew/dtmc_mixedTransitionOrder.trans.rew b/lib/stormpy/examples/files/rew/dtmc_mixedTransitionOrder.trans.rew similarity index 100% rename from resources/examples/testfiles/rew/dtmc_mixedTransitionOrder.trans.rew rename to lib/stormpy/examples/files/rew/dtmc_mixedTransitionOrder.trans.rew diff --git a/resources/examples/testfiles/rew/dtmc_rewardForNonExTrans.trans.rew b/lib/stormpy/examples/files/rew/dtmc_rewardForNonExTrans.trans.rew similarity index 100% rename from resources/examples/testfiles/rew/dtmc_rewardForNonExTrans.trans.rew rename to lib/stormpy/examples/files/rew/dtmc_rewardForNonExTrans.trans.rew diff --git a/resources/examples/testfiles/rew/dtmc_whitespaces.trans.rew b/lib/stormpy/examples/files/rew/dtmc_whitespaces.trans.rew similarity index 100% rename from resources/examples/testfiles/rew/dtmc_whitespaces.trans.rew rename to lib/stormpy/examples/files/rew/dtmc_whitespaces.trans.rew diff --git a/resources/examples/testfiles/rew/leader4.trans.rew b/lib/stormpy/examples/files/rew/leader4.trans.rew similarity index 100% rename from resources/examples/testfiles/rew/leader4.trans.rew rename to lib/stormpy/examples/files/rew/leader4.trans.rew diff --git a/resources/examples/testfiles/rew/leader4_8.pick.trans.rew b/lib/stormpy/examples/files/rew/leader4_8.pick.trans.rew similarity index 100% rename from resources/examples/testfiles/rew/leader4_8.pick.trans.rew rename to lib/stormpy/examples/files/rew/leader4_8.pick.trans.rew diff --git a/resources/examples/testfiles/rew/ma_general.state.rew b/lib/stormpy/examples/files/rew/ma_general.state.rew similarity index 100% rename from resources/examples/testfiles/rew/ma_general.state.rew rename to lib/stormpy/examples/files/rew/ma_general.state.rew diff --git a/resources/examples/testfiles/rew/ma_mismatched.state.rew b/lib/stormpy/examples/files/rew/ma_mismatched.state.rew similarity index 100% rename from resources/examples/testfiles/rew/ma_mismatched.state.rew rename to lib/stormpy/examples/files/rew/ma_mismatched.state.rew diff --git a/resources/examples/testfiles/rew/mdp_general.state.rew b/lib/stormpy/examples/files/rew/mdp_general.state.rew similarity index 100% rename from resources/examples/testfiles/rew/mdp_general.state.rew rename to lib/stormpy/examples/files/rew/mdp_general.state.rew diff --git a/resources/examples/testfiles/rew/mdp_general.trans.rew b/lib/stormpy/examples/files/rew/mdp_general.trans.rew similarity index 100% rename from resources/examples/testfiles/rew/mdp_general.trans.rew rename to lib/stormpy/examples/files/rew/mdp_general.trans.rew diff --git a/resources/examples/testfiles/rew/mdp_mismatched.trans.rew b/lib/stormpy/examples/files/rew/mdp_mismatched.trans.rew similarity index 100% rename from resources/examples/testfiles/rew/mdp_mismatched.trans.rew rename to lib/stormpy/examples/files/rew/mdp_mismatched.trans.rew diff --git a/resources/examples/testfiles/rew/mdp_mixedStateOrder.trans.rew b/lib/stormpy/examples/files/rew/mdp_mixedStateOrder.trans.rew similarity index 100% rename from resources/examples/testfiles/rew/mdp_mixedStateOrder.trans.rew rename to lib/stormpy/examples/files/rew/mdp_mixedStateOrder.trans.rew diff --git a/resources/examples/testfiles/rew/mdp_mixedTransitionOrder.trans.rew b/lib/stormpy/examples/files/rew/mdp_mixedTransitionOrder.trans.rew similarity index 100% rename from resources/examples/testfiles/rew/mdp_mixedTransitionOrder.trans.rew rename to lib/stormpy/examples/files/rew/mdp_mixedTransitionOrder.trans.rew diff --git a/resources/examples/testfiles/rew/mdp_rewardForNonExTrans.trans.rew b/lib/stormpy/examples/files/rew/mdp_rewardForNonExTrans.trans.rew similarity index 100% rename from resources/examples/testfiles/rew/mdp_rewardForNonExTrans.trans.rew rename to lib/stormpy/examples/files/rew/mdp_rewardForNonExTrans.trans.rew diff --git a/resources/examples/testfiles/rew/mdp_whitespaces.trans.rew b/lib/stormpy/examples/files/rew/mdp_whitespaces.trans.rew similarity index 100% rename from resources/examples/testfiles/rew/mdp_whitespaces.trans.rew rename to lib/stormpy/examples/files/rew/mdp_whitespaces.trans.rew diff --git a/resources/examples/testfiles/rew/state_reward_parser_basic.state.rew b/lib/stormpy/examples/files/rew/state_reward_parser_basic.state.rew similarity index 100% rename from resources/examples/testfiles/rew/state_reward_parser_basic.state.rew rename to lib/stormpy/examples/files/rew/state_reward_parser_basic.state.rew diff --git a/resources/examples/testfiles/rew/state_reward_parser_doubledLines.state.rew b/lib/stormpy/examples/files/rew/state_reward_parser_doubledLines.state.rew similarity index 100% rename from resources/examples/testfiles/rew/state_reward_parser_doubledLines.state.rew rename to lib/stormpy/examples/files/rew/state_reward_parser_doubledLines.state.rew diff --git a/resources/examples/testfiles/rew/state_reward_parser_doubledLinesSkipped.state.rew b/lib/stormpy/examples/files/rew/state_reward_parser_doubledLinesSkipped.state.rew similarity index 100% rename from resources/examples/testfiles/rew/state_reward_parser_doubledLinesSkipped.state.rew rename to lib/stormpy/examples/files/rew/state_reward_parser_doubledLinesSkipped.state.rew diff --git a/resources/examples/testfiles/rew/state_reward_parser_whitespaces.state.rew b/lib/stormpy/examples/files/rew/state_reward_parser_whitespaces.state.rew similarity index 100% rename from resources/examples/testfiles/rew/state_reward_parser_whitespaces.state.rew rename to lib/stormpy/examples/files/rew/state_reward_parser_whitespaces.state.rew diff --git a/resources/examples/testfiles/rew/two_dice.flip.state.rew b/lib/stormpy/examples/files/rew/two_dice.flip.state.rew similarity index 100% rename from resources/examples/testfiles/rew/two_dice.flip.state.rew rename to lib/stormpy/examples/files/rew/two_dice.flip.state.rew diff --git a/resources/examples/testfiles/rew/two_dice.flip.trans.rew b/lib/stormpy/examples/files/rew/two_dice.flip.trans.rew similarity index 100% rename from resources/examples/testfiles/rew/two_dice.flip.trans.rew rename to lib/stormpy/examples/files/rew/two_dice.flip.trans.rew diff --git a/resources/examples/testfiles/tra/crowds5_5.tra b/lib/stormpy/examples/files/tra/crowds5_5.tra similarity index 100% rename from resources/examples/testfiles/tra/crowds5_5.tra rename to lib/stormpy/examples/files/tra/crowds5_5.tra diff --git a/resources/examples/testfiles/tra/csl_general.tra b/lib/stormpy/examples/files/tra/csl_general.tra similarity index 100% rename from resources/examples/testfiles/tra/csl_general.tra rename to lib/stormpy/examples/files/tra/csl_general.tra diff --git a/resources/examples/testfiles/tra/ctmc.tra b/lib/stormpy/examples/files/tra/ctmc.tra similarity index 100% rename from resources/examples/testfiles/tra/ctmc.tra rename to lib/stormpy/examples/files/tra/ctmc.tra diff --git a/resources/examples/testfiles/tra/ctmdp.tra b/lib/stormpy/examples/files/tra/ctmdp.tra similarity index 100% rename from resources/examples/testfiles/tra/ctmdp.tra rename to lib/stormpy/examples/files/tra/ctmdp.tra diff --git a/resources/examples/testfiles/tra/die.tra b/lib/stormpy/examples/files/tra/die.tra similarity index 100% rename from resources/examples/testfiles/tra/die.tra rename to lib/stormpy/examples/files/tra/die.tra diff --git a/resources/examples/testfiles/tra/dtmc.tra b/lib/stormpy/examples/files/tra/dtmc.tra similarity index 100% rename from resources/examples/testfiles/tra/dtmc.tra rename to lib/stormpy/examples/files/tra/dtmc.tra diff --git a/resources/examples/testfiles/tra/dtmcWhitespaces1.tra b/lib/stormpy/examples/files/tra/dtmcWhitespaces1.tra similarity index 100% rename from resources/examples/testfiles/tra/dtmcWhitespaces1.tra rename to lib/stormpy/examples/files/tra/dtmcWhitespaces1.tra diff --git a/resources/examples/testfiles/tra/dtmcWhitespaces2.tra b/lib/stormpy/examples/files/tra/dtmcWhitespaces2.tra similarity index 100% rename from resources/examples/testfiles/tra/dtmcWhitespaces2.tra rename to lib/stormpy/examples/files/tra/dtmcWhitespaces2.tra diff --git a/resources/examples/testfiles/tra/dtmc_actionTest.tra b/lib/stormpy/examples/files/tra/dtmc_actionTest.tra similarity index 100% rename from resources/examples/testfiles/tra/dtmc_actionTest.tra rename to lib/stormpy/examples/files/tra/dtmc_actionTest.tra diff --git a/resources/examples/testfiles/tra/dtmc_deadlock.tra b/lib/stormpy/examples/files/tra/dtmc_deadlock.tra similarity index 100% rename from resources/examples/testfiles/tra/dtmc_deadlock.tra rename to lib/stormpy/examples/files/tra/dtmc_deadlock.tra diff --git a/resources/examples/testfiles/tra/dtmc_doubledLines.tra b/lib/stormpy/examples/files/tra/dtmc_doubledLines.tra similarity index 100% rename from resources/examples/testfiles/tra/dtmc_doubledLines.tra rename to lib/stormpy/examples/files/tra/dtmc_doubledLines.tra diff --git a/resources/examples/testfiles/tra/dtmc_general.tra b/lib/stormpy/examples/files/tra/dtmc_general.tra similarity index 100% rename from resources/examples/testfiles/tra/dtmc_general.tra rename to lib/stormpy/examples/files/tra/dtmc_general.tra diff --git a/resources/examples/testfiles/tra/dtmc_mismatched.tra b/lib/stormpy/examples/files/tra/dtmc_mismatched.tra similarity index 100% rename from resources/examples/testfiles/tra/dtmc_mismatched.tra rename to lib/stormpy/examples/files/tra/dtmc_mismatched.tra diff --git a/resources/examples/testfiles/tra/dtmc_mixedStateOrder.tra b/lib/stormpy/examples/files/tra/dtmc_mixedStateOrder.tra similarity index 100% rename from resources/examples/testfiles/tra/dtmc_mixedStateOrder.tra rename to lib/stormpy/examples/files/tra/dtmc_mixedStateOrder.tra diff --git a/resources/examples/testfiles/tra/dtmc_mixedTransitionOrder.tra b/lib/stormpy/examples/files/tra/dtmc_mixedTransitionOrder.tra similarity index 100% rename from resources/examples/testfiles/tra/dtmc_mixedTransitionOrder.tra rename to lib/stormpy/examples/files/tra/dtmc_mixedTransitionOrder.tra diff --git a/resources/examples/testfiles/tra/dtmc_whitespaces.tra b/lib/stormpy/examples/files/tra/dtmc_whitespaces.tra similarity index 100% rename from resources/examples/testfiles/tra/dtmc_whitespaces.tra rename to lib/stormpy/examples/files/tra/dtmc_whitespaces.tra diff --git a/resources/examples/testfiles/tra/leader4.tra b/lib/stormpy/examples/files/tra/leader4.tra similarity index 100% rename from resources/examples/testfiles/tra/leader4.tra rename to lib/stormpy/examples/files/tra/leader4.tra diff --git a/resources/examples/testfiles/tra/leader4_8.tra b/lib/stormpy/examples/files/tra/leader4_8.tra similarity index 100% rename from resources/examples/testfiles/tra/leader4_8.tra rename to lib/stormpy/examples/files/tra/leader4_8.tra diff --git a/resources/examples/testfiles/tra/ma.tra b/lib/stormpy/examples/files/tra/ma.tra similarity index 100% rename from resources/examples/testfiles/tra/ma.tra rename to lib/stormpy/examples/files/tra/ma.tra diff --git a/resources/examples/testfiles/tra/ma_cslFilterTest.tra b/lib/stormpy/examples/files/tra/ma_cslFilterTest.tra similarity index 100% rename from resources/examples/testfiles/tra/ma_cslFilterTest.tra rename to lib/stormpy/examples/files/tra/ma_cslFilterTest.tra diff --git a/resources/examples/testfiles/tra/ma_deadlock.tra b/lib/stormpy/examples/files/tra/ma_deadlock.tra similarity index 100% rename from resources/examples/testfiles/tra/ma_deadlock.tra rename to lib/stormpy/examples/files/tra/ma_deadlock.tra diff --git a/resources/examples/testfiles/tra/ma_general.tra b/lib/stormpy/examples/files/tra/ma_general.tra similarity index 100% rename from resources/examples/testfiles/tra/ma_general.tra rename to lib/stormpy/examples/files/tra/ma_general.tra diff --git a/resources/examples/testfiles/tra/ma_whitespaces.tra b/lib/stormpy/examples/files/tra/ma_whitespaces.tra similarity index 100% rename from resources/examples/testfiles/tra/ma_whitespaces.tra rename to lib/stormpy/examples/files/tra/ma_whitespaces.tra diff --git a/resources/examples/testfiles/tra/mdp.tra b/lib/stormpy/examples/files/tra/mdp.tra similarity index 100% rename from resources/examples/testfiles/tra/mdp.tra rename to lib/stormpy/examples/files/tra/mdp.tra diff --git a/resources/examples/testfiles/tra/mdp_deadlock.tra b/lib/stormpy/examples/files/tra/mdp_deadlock.tra similarity index 100% rename from resources/examples/testfiles/tra/mdp_deadlock.tra rename to lib/stormpy/examples/files/tra/mdp_deadlock.tra diff --git a/resources/examples/testfiles/tra/mdp_doubledLines.tra b/lib/stormpy/examples/files/tra/mdp_doubledLines.tra similarity index 100% rename from resources/examples/testfiles/tra/mdp_doubledLines.tra rename to lib/stormpy/examples/files/tra/mdp_doubledLines.tra diff --git a/resources/examples/testfiles/tra/mdp_general.tra b/lib/stormpy/examples/files/tra/mdp_general.tra similarity index 100% rename from resources/examples/testfiles/tra/mdp_general.tra rename to lib/stormpy/examples/files/tra/mdp_general.tra diff --git a/resources/examples/testfiles/tra/mdp_mismatched.tra b/lib/stormpy/examples/files/tra/mdp_mismatched.tra similarity index 100% rename from resources/examples/testfiles/tra/mdp_mismatched.tra rename to lib/stormpy/examples/files/tra/mdp_mismatched.tra diff --git a/resources/examples/testfiles/tra/mdp_mixedStateOrder.tra b/lib/stormpy/examples/files/tra/mdp_mixedStateOrder.tra similarity index 100% rename from resources/examples/testfiles/tra/mdp_mixedStateOrder.tra rename to lib/stormpy/examples/files/tra/mdp_mixedStateOrder.tra diff --git a/resources/examples/testfiles/tra/mdp_mixedTransitionOrder.tra b/lib/stormpy/examples/files/tra/mdp_mixedTransitionOrder.tra similarity index 100% rename from resources/examples/testfiles/tra/mdp_mixedTransitionOrder.tra rename to lib/stormpy/examples/files/tra/mdp_mixedTransitionOrder.tra diff --git a/resources/examples/testfiles/tra/mdp_whitespaces.tra b/lib/stormpy/examples/files/tra/mdp_whitespaces.tra similarity index 100% rename from resources/examples/testfiles/tra/mdp_whitespaces.tra rename to lib/stormpy/examples/files/tra/mdp_whitespaces.tra diff --git a/resources/examples/testfiles/tra/noHint.tra b/lib/stormpy/examples/files/tra/noHint.tra similarity index 100% rename from resources/examples/testfiles/tra/noHint.tra rename to lib/stormpy/examples/files/tra/noHint.tra diff --git a/resources/examples/testfiles/tra/pctl_general.tra b/lib/stormpy/examples/files/tra/pctl_general.tra similarity index 100% rename from resources/examples/testfiles/tra/pctl_general.tra rename to lib/stormpy/examples/files/tra/pctl_general.tra diff --git a/resources/examples/testfiles/tra/readme.txt b/lib/stormpy/examples/files/tra/readme.txt similarity index 100% rename from resources/examples/testfiles/tra/readme.txt rename to lib/stormpy/examples/files/tra/readme.txt diff --git a/resources/examples/testfiles/tra/tiny1.tra b/lib/stormpy/examples/files/tra/tiny1.tra similarity index 100% rename from resources/examples/testfiles/tra/tiny1.tra rename to lib/stormpy/examples/files/tra/tiny1.tra diff --git a/resources/examples/testfiles/tra/tiny2.tra b/lib/stormpy/examples/files/tra/tiny2.tra similarity index 100% rename from resources/examples/testfiles/tra/tiny2.tra rename to lib/stormpy/examples/files/tra/tiny2.tra diff --git a/resources/examples/testfiles/tra/two_dice.tra b/lib/stormpy/examples/files/tra/two_dice.tra similarity index 100% rename from resources/examples/testfiles/tra/two_dice.tra rename to lib/stormpy/examples/files/tra/two_dice.tra diff --git a/resources/examples/testfiles/tra/wrongHint.tra b/lib/stormpy/examples/files/tra/wrongHint.tra similarity index 100% rename from resources/examples/testfiles/tra/wrongHint.tra rename to lib/stormpy/examples/files/tra/wrongHint.tra diff --git a/resources/examples/testfiles/tra/wrong_format_header1.tra b/lib/stormpy/examples/files/tra/wrong_format_header1.tra similarity index 100% rename from resources/examples/testfiles/tra/wrong_format_header1.tra rename to lib/stormpy/examples/files/tra/wrong_format_header1.tra diff --git a/resources/examples/testfiles/tra/wrong_format_header2.tra b/lib/stormpy/examples/files/tra/wrong_format_header2.tra similarity index 100% rename from resources/examples/testfiles/tra/wrong_format_header2.tra rename to lib/stormpy/examples/files/tra/wrong_format_header2.tra diff --git a/resources/examples/testfiles/tra/wrong_format_transition.tra b/lib/stormpy/examples/files/tra/wrong_format_transition.tra similarity index 100% rename from resources/examples/testfiles/tra/wrong_format_transition.tra rename to lib/stormpy/examples/files/tra/wrong_format_transition.tra diff --git a/resources/examples/testfiles/txt/testStringFile.txt b/lib/stormpy/examples/files/txt/testStringFile.txt similarity index 100% rename from resources/examples/testfiles/txt/testStringFile.txt rename to lib/stormpy/examples/files/txt/testStringFile.txt diff --git a/tests/helpers/helper.py b/tests/helpers/helper.py index ac6c085..787a227 100644 --- a/tests/helpers/helper.py +++ b/tests/helpers/helper.py @@ -1,5 +1,8 @@ import os -example_dir = os.path.abspath(os.path.join(os.path.dirname(__file__), os.pardir, os.pardir, "resources", "examples", "testfiles")) +import stormpy +import stormpy.examples +import stormpy.examples.files +example_dir = stormpy.examples.files.testfile_dir def get_example_path(*paths): return os.path.join(example_dir, *paths)