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)