From d4ae043601c6a80cc009e62db846106627030c28 Mon Sep 17 00:00:00 2001 From: Stefan Pranger Date: Wed, 3 Nov 2021 12:09:41 +0100 Subject: [PATCH] adapted shield testing output to new changes --- .../mdp-shields/dieSelectionPostSafetylambda07Pmin.shield | 8 ++++---- .../mdp-shields/dieSelectionPreSafetygamma08Pmin.shield | 2 ++ .../mdp-shields/dieSelectionPreSafetylambda08Pmin.shield | 7 +++++++ 3 files changed, 13 insertions(+), 4 deletions(-) diff --git a/resources/examples/testfiles/shields/mdp-shields/dieSelectionPostSafetylambda07Pmin.shield b/resources/examples/testfiles/shields/mdp-shields/dieSelectionPostSafetylambda07Pmin.shield index 5cbf8cc99..89cc541ed 100644 --- a/resources/examples/testfiles/shields/mdp-shields/dieSelectionPostSafetylambda07Pmin.shield +++ b/resources/examples/testfiles/shields/mdp-shields/dieSelectionPostSafetylambda07Pmin.shield @@ -1,8 +1,8 @@ ___________________________________________________________________ Post-Safety-Shield with relative comparison (lambda = 0.700000): model state: correction [: ()}: - 0 0: 2; 1: 2; 2: 2 - 1 0: 0; 1: 0; 2: 0 - 3 0: 2; 1: 2; 2: 2 - 4 0: 2; 1: 2; 2: 2 + 0 0: 0; 1: 1; 2: 2 + 1 0: 0; 1: 1; 2: 2 + 3 0: 0; 1: 1; 2: 2 + 4 0: 0; 1: 1; 2: 2 ___________________________________________________________________ diff --git a/resources/examples/testfiles/shields/mdp-shields/dieSelectionPreSafetygamma08Pmin.shield b/resources/examples/testfiles/shields/mdp-shields/dieSelectionPreSafetygamma08Pmin.shield index 6b32fa01a..000eb1c42 100644 --- a/resources/examples/testfiles/shields/mdp-shields/dieSelectionPreSafetygamma08Pmin.shield +++ b/resources/examples/testfiles/shields/mdp-shields/dieSelectionPreSafetygamma08Pmin.shield @@ -2,5 +2,7 @@ ___________________________________________________________________ Pre-Safety-Shield with absolute comparison (gamma = 0.800000): model state: choice(s) [: ()}: 0 0.58: (0); 0.566: (1); 0.552: (2) + 1 0.7942: (1); 0.7599: (2) 3 0.755: (0); 0.706: (1); 0.657: (2) + 6 0.79: (1); 0.755: (2) ___________________________________________________________________ diff --git a/resources/examples/testfiles/shields/mdp-shields/dieSelectionPreSafetylambda08Pmin.shield b/resources/examples/testfiles/shields/mdp-shields/dieSelectionPreSafetylambda08Pmin.shield index dcd83f02c..b4ed673b8 100644 --- a/resources/examples/testfiles/shields/mdp-shields/dieSelectionPreSafetylambda08Pmin.shield +++ b/resources/examples/testfiles/shields/mdp-shields/dieSelectionPreSafetylambda08Pmin.shield @@ -1,4 +1,11 @@ ___________________________________________________________________ Pre-Safety-Shield with relative comparison (lambda = 0.800000): model state: choice(s) [: ()}: + 0 0.58: (0); 0.566: (1); 0.552: (2) + 1 0.8285: (0); 0.7942: (1); 0.7599: (2) + 2 0.8775: (0); 0.902: (1); 0.9265: (2) + 3 0.755: (0); 0.706: (1); 0.657: (2) + 4 1: (0); 1: (1); 1: (2) + 5 1: (0); 1: (1); 1: (2) + 6 0.825: (0); 0.79: (1); 0.755: (2) ___________________________________________________________________