From 9baf365066c10c64540973a9c883aa0dd570b365 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 30 Dec 2020 00:51:26 +0000 Subject: [PATCH] Move POMDP/POPTA tests to prism-tests. --- .../functionality/verify}/pomdps/3x3grid.prism | 0 .../functionality/verify}/pomdps/3x3grid.prism.props | 0 .../functionality/verify}/pomdps/3x3grid_bounded.prism | 0 .../functionality/verify}/pomdps/3x3grid_bounded.prism.args | 0 .../functionality/verify}/pomdps/3x3grid_bounded.prism.props | 0 .../functionality/verify}/pomdps/crypt3.prism | 0 .../functionality/verify}/pomdps/crypt3.prism.props | 0 .../tests => prism-tests/functionality/verify}/pomdps/maze.prism | 0 .../functionality/verify}/pomdps/maze.prism.props | 0 .../tests => prism-tests/functionality/verify}/pomdps/maze2.prism | 0 .../functionality/verify}/pomdps/maze2.prism.props | 0 .../functionality/verify}/pomdps/network2.prism | 0 .../functionality/verify}/pomdps/network2.prism.args | 0 .../functionality/verify}/pomdps/network2.prism.props | 0 .../functionality/verify}/pomdps/network2_noidle.prism | 0 .../functionality/verify}/pomdps/network2_noidle.prism.args | 0 .../functionality/verify}/pomdps/network2_noidle.prism.props | 0 .../functionality/verify}/pomdps/network2_priorities.prism | 0 .../functionality/verify}/pomdps/network2_priorities.prism.args | 0 .../functionality/verify}/pomdps/network2_priorities.prism.props | 0 .../functionality/verify}/pomdps/network2_priorities_noidle.prism | 0 .../verify}/pomdps/network2_priorities_noidle.prism.args | 0 .../verify}/pomdps/network2_priorities_noidle.prism.props | 0 .../functionality/verify}/pomdps/nonobs-target.prism | 0 .../functionality/verify}/pomdps/nonobs-target.prism.props | 0 .../functionality/verify}/pomdps/nonobs-target.prism.props.args | 0 .../functionality/verify}/poptas/pump_popta.prism | 0 .../functionality/verify}/poptas/pump_popta.prism.args | 0 .../functionality/verify}/poptas/pump_popta.prism.props | 0 .../functionality/verify}/poptas/pump_popta_deadline.prism | 0 .../functionality/verify}/poptas/pump_popta_deadline.prism.args | 0 .../functionality/verify}/poptas/pump_popta_deadline.prism.props | 0 32 files changed, 0 insertions(+), 0 deletions(-) rename {prism/tests => prism-tests/functionality/verify}/pomdps/3x3grid.prism (100%) rename {prism/tests => prism-tests/functionality/verify}/pomdps/3x3grid.prism.props (100%) rename {prism/tests => prism-tests/functionality/verify}/pomdps/3x3grid_bounded.prism (100%) rename {prism/tests => prism-tests/functionality/verify}/pomdps/3x3grid_bounded.prism.args (100%) rename {prism/tests => prism-tests/functionality/verify}/pomdps/3x3grid_bounded.prism.props (100%) rename {prism/tests => prism-tests/functionality/verify}/pomdps/crypt3.prism (100%) rename {prism/tests => prism-tests/functionality/verify}/pomdps/crypt3.prism.props (100%) rename {prism/tests => prism-tests/functionality/verify}/pomdps/maze.prism (100%) rename {prism/tests => prism-tests/functionality/verify}/pomdps/maze.prism.props (100%) rename {prism/tests => prism-tests/functionality/verify}/pomdps/maze2.prism (100%) rename {prism/tests => prism-tests/functionality/verify}/pomdps/maze2.prism.props (100%) rename {prism/tests => prism-tests/functionality/verify}/pomdps/network2.prism (100%) rename {prism/tests => prism-tests/functionality/verify}/pomdps/network2.prism.args (100%) rename {prism/tests => prism-tests/functionality/verify}/pomdps/network2.prism.props (100%) rename {prism/tests => prism-tests/functionality/verify}/pomdps/network2_noidle.prism (100%) rename {prism/tests => prism-tests/functionality/verify}/pomdps/network2_noidle.prism.args (100%) rename {prism/tests => prism-tests/functionality/verify}/pomdps/network2_noidle.prism.props (100%) rename {prism/tests => prism-tests/functionality/verify}/pomdps/network2_priorities.prism (100%) rename {prism/tests => prism-tests/functionality/verify}/pomdps/network2_priorities.prism.args (100%) rename {prism/tests => prism-tests/functionality/verify}/pomdps/network2_priorities.prism.props (100%) rename {prism/tests => prism-tests/functionality/verify}/pomdps/network2_priorities_noidle.prism (100%) rename {prism/tests => prism-tests/functionality/verify}/pomdps/network2_priorities_noidle.prism.args (100%) rename {prism/tests => prism-tests/functionality/verify}/pomdps/network2_priorities_noidle.prism.props (100%) rename {prism/tests => prism-tests/functionality/verify}/pomdps/nonobs-target.prism (100%) rename {prism/tests => prism-tests/functionality/verify}/pomdps/nonobs-target.prism.props (100%) rename {prism/tests => prism-tests/functionality/verify}/pomdps/nonobs-target.prism.props.args (100%) rename {prism/tests => prism-tests/functionality/verify}/poptas/pump_popta.prism (100%) rename {prism/tests => prism-tests/functionality/verify}/poptas/pump_popta.prism.args (100%) rename {prism/tests => prism-tests/functionality/verify}/poptas/pump_popta.prism.props (100%) rename {prism/tests => prism-tests/functionality/verify}/poptas/pump_popta_deadline.prism (100%) rename {prism/tests => prism-tests/functionality/verify}/poptas/pump_popta_deadline.prism.args (100%) rename {prism/tests => prism-tests/functionality/verify}/poptas/pump_popta_deadline.prism.props (100%) diff --git a/prism/tests/pomdps/3x3grid.prism b/prism-tests/functionality/verify/pomdps/3x3grid.prism similarity index 100% rename from prism/tests/pomdps/3x3grid.prism rename to prism-tests/functionality/verify/pomdps/3x3grid.prism diff --git a/prism/tests/pomdps/3x3grid.prism.props b/prism-tests/functionality/verify/pomdps/3x3grid.prism.props similarity index 100% rename from prism/tests/pomdps/3x3grid.prism.props rename to prism-tests/functionality/verify/pomdps/3x3grid.prism.props diff --git a/prism/tests/pomdps/3x3grid_bounded.prism b/prism-tests/functionality/verify/pomdps/3x3grid_bounded.prism similarity index 100% rename from prism/tests/pomdps/3x3grid_bounded.prism rename to prism-tests/functionality/verify/pomdps/3x3grid_bounded.prism diff --git a/prism/tests/pomdps/3x3grid_bounded.prism.args b/prism-tests/functionality/verify/pomdps/3x3grid_bounded.prism.args similarity index 100% rename from prism/tests/pomdps/3x3grid_bounded.prism.args rename to prism-tests/functionality/verify/pomdps/3x3grid_bounded.prism.args diff --git a/prism/tests/pomdps/3x3grid_bounded.prism.props b/prism-tests/functionality/verify/pomdps/3x3grid_bounded.prism.props similarity index 100% rename from prism/tests/pomdps/3x3grid_bounded.prism.props rename to prism-tests/functionality/verify/pomdps/3x3grid_bounded.prism.props diff --git a/prism/tests/pomdps/crypt3.prism b/prism-tests/functionality/verify/pomdps/crypt3.prism similarity index 100% rename from prism/tests/pomdps/crypt3.prism rename to prism-tests/functionality/verify/pomdps/crypt3.prism diff --git a/prism/tests/pomdps/crypt3.prism.props b/prism-tests/functionality/verify/pomdps/crypt3.prism.props similarity index 100% rename from prism/tests/pomdps/crypt3.prism.props rename to prism-tests/functionality/verify/pomdps/crypt3.prism.props diff --git a/prism/tests/pomdps/maze.prism b/prism-tests/functionality/verify/pomdps/maze.prism similarity index 100% rename from prism/tests/pomdps/maze.prism rename to prism-tests/functionality/verify/pomdps/maze.prism diff --git a/prism/tests/pomdps/maze.prism.props b/prism-tests/functionality/verify/pomdps/maze.prism.props similarity index 100% rename from prism/tests/pomdps/maze.prism.props rename to prism-tests/functionality/verify/pomdps/maze.prism.props diff --git a/prism/tests/pomdps/maze2.prism b/prism-tests/functionality/verify/pomdps/maze2.prism similarity index 100% rename from prism/tests/pomdps/maze2.prism rename to prism-tests/functionality/verify/pomdps/maze2.prism diff --git a/prism/tests/pomdps/maze2.prism.props b/prism-tests/functionality/verify/pomdps/maze2.prism.props similarity index 100% rename from prism/tests/pomdps/maze2.prism.props rename to prism-tests/functionality/verify/pomdps/maze2.prism.props diff --git a/prism/tests/pomdps/network2.prism b/prism-tests/functionality/verify/pomdps/network2.prism similarity index 100% rename from prism/tests/pomdps/network2.prism rename to prism-tests/functionality/verify/pomdps/network2.prism diff --git a/prism/tests/pomdps/network2.prism.args b/prism-tests/functionality/verify/pomdps/network2.prism.args similarity index 100% rename from prism/tests/pomdps/network2.prism.args rename to prism-tests/functionality/verify/pomdps/network2.prism.args diff --git a/prism/tests/pomdps/network2.prism.props b/prism-tests/functionality/verify/pomdps/network2.prism.props similarity index 100% rename from prism/tests/pomdps/network2.prism.props rename to prism-tests/functionality/verify/pomdps/network2.prism.props diff --git a/prism/tests/pomdps/network2_noidle.prism b/prism-tests/functionality/verify/pomdps/network2_noidle.prism similarity index 100% rename from prism/tests/pomdps/network2_noidle.prism rename to prism-tests/functionality/verify/pomdps/network2_noidle.prism diff --git a/prism/tests/pomdps/network2_noidle.prism.args b/prism-tests/functionality/verify/pomdps/network2_noidle.prism.args similarity index 100% rename from prism/tests/pomdps/network2_noidle.prism.args rename to prism-tests/functionality/verify/pomdps/network2_noidle.prism.args diff --git a/prism/tests/pomdps/network2_noidle.prism.props b/prism-tests/functionality/verify/pomdps/network2_noidle.prism.props similarity index 100% rename from prism/tests/pomdps/network2_noidle.prism.props rename to prism-tests/functionality/verify/pomdps/network2_noidle.prism.props diff --git a/prism/tests/pomdps/network2_priorities.prism b/prism-tests/functionality/verify/pomdps/network2_priorities.prism similarity index 100% rename from prism/tests/pomdps/network2_priorities.prism rename to prism-tests/functionality/verify/pomdps/network2_priorities.prism diff --git a/prism/tests/pomdps/network2_priorities.prism.args b/prism-tests/functionality/verify/pomdps/network2_priorities.prism.args similarity index 100% rename from prism/tests/pomdps/network2_priorities.prism.args rename to prism-tests/functionality/verify/pomdps/network2_priorities.prism.args diff --git a/prism/tests/pomdps/network2_priorities.prism.props b/prism-tests/functionality/verify/pomdps/network2_priorities.prism.props similarity index 100% rename from prism/tests/pomdps/network2_priorities.prism.props rename to prism-tests/functionality/verify/pomdps/network2_priorities.prism.props diff --git a/prism/tests/pomdps/network2_priorities_noidle.prism b/prism-tests/functionality/verify/pomdps/network2_priorities_noidle.prism similarity index 100% rename from prism/tests/pomdps/network2_priorities_noidle.prism rename to prism-tests/functionality/verify/pomdps/network2_priorities_noidle.prism diff --git a/prism/tests/pomdps/network2_priorities_noidle.prism.args b/prism-tests/functionality/verify/pomdps/network2_priorities_noidle.prism.args similarity index 100% rename from prism/tests/pomdps/network2_priorities_noidle.prism.args rename to prism-tests/functionality/verify/pomdps/network2_priorities_noidle.prism.args diff --git a/prism/tests/pomdps/network2_priorities_noidle.prism.props b/prism-tests/functionality/verify/pomdps/network2_priorities_noidle.prism.props similarity index 100% rename from prism/tests/pomdps/network2_priorities_noidle.prism.props rename to prism-tests/functionality/verify/pomdps/network2_priorities_noidle.prism.props diff --git a/prism/tests/pomdps/nonobs-target.prism b/prism-tests/functionality/verify/pomdps/nonobs-target.prism similarity index 100% rename from prism/tests/pomdps/nonobs-target.prism rename to prism-tests/functionality/verify/pomdps/nonobs-target.prism diff --git a/prism/tests/pomdps/nonobs-target.prism.props b/prism-tests/functionality/verify/pomdps/nonobs-target.prism.props similarity index 100% rename from prism/tests/pomdps/nonobs-target.prism.props rename to prism-tests/functionality/verify/pomdps/nonobs-target.prism.props diff --git a/prism/tests/pomdps/nonobs-target.prism.props.args b/prism-tests/functionality/verify/pomdps/nonobs-target.prism.props.args similarity index 100% rename from prism/tests/pomdps/nonobs-target.prism.props.args rename to prism-tests/functionality/verify/pomdps/nonobs-target.prism.props.args diff --git a/prism/tests/poptas/pump_popta.prism b/prism-tests/functionality/verify/poptas/pump_popta.prism similarity index 100% rename from prism/tests/poptas/pump_popta.prism rename to prism-tests/functionality/verify/poptas/pump_popta.prism diff --git a/prism/tests/poptas/pump_popta.prism.args b/prism-tests/functionality/verify/poptas/pump_popta.prism.args similarity index 100% rename from prism/tests/poptas/pump_popta.prism.args rename to prism-tests/functionality/verify/poptas/pump_popta.prism.args diff --git a/prism/tests/poptas/pump_popta.prism.props b/prism-tests/functionality/verify/poptas/pump_popta.prism.props similarity index 100% rename from prism/tests/poptas/pump_popta.prism.props rename to prism-tests/functionality/verify/poptas/pump_popta.prism.props diff --git a/prism/tests/poptas/pump_popta_deadline.prism b/prism-tests/functionality/verify/poptas/pump_popta_deadline.prism similarity index 100% rename from prism/tests/poptas/pump_popta_deadline.prism rename to prism-tests/functionality/verify/poptas/pump_popta_deadline.prism diff --git a/prism/tests/poptas/pump_popta_deadline.prism.args b/prism-tests/functionality/verify/poptas/pump_popta_deadline.prism.args similarity index 100% rename from prism/tests/poptas/pump_popta_deadline.prism.args rename to prism-tests/functionality/verify/poptas/pump_popta_deadline.prism.args diff --git a/prism/tests/poptas/pump_popta_deadline.prism.props b/prism-tests/functionality/verify/poptas/pump_popta_deadline.prism.props similarity index 100% rename from prism/tests/poptas/pump_popta_deadline.prism.props rename to prism-tests/functionality/verify/poptas/pump_popta_deadline.prism.props