- We need to remove it if it doesn't have a long validation either.
- We need to remove it if it doesn't have a long validation either.
- Should we follow the same idea for controlDicts?
- Should we follow the same idea for controlDicts?
- **Need to document this properly** [[#0.20 Documentation]]
- **Need to document this properly** [[#0.20 Documentation]]
# verificationDict/validationDict
# system/validationDict
Idea for a Foam-formated file for Verify
Idea for a Foam-formated file for Verify
```foam
```c++
validation {
// List of variables to be checked; optional, since MD5 validation does not
// use any variables.
variables ("phi" "meanT");
variables ("phi" "meanT");
// Validation is run in sequence: "long" and "infinite" will not run if "short" passes its thresholds.
// Execution is run in sequence: If the first run ("quick") fails, then the
// Names are free form, and we could use them to defined the run-dir, e.g., "short" validation will be run in ".run-short", "long" in ".run-long" and "infinite" in ".run-infinite".
// second run ("short") is run, and if that fails, the third is run ("long"),
// and so on. On the other hand, the execution of the runs stops on the first
// full success.
//
// This example is a bit of a stretch -- why would be want to run the same case
// 4 different times? -- but it shows that, if that necessity appears to run
// any different number of runs in the future, we can support it. It also shows
// that one can have mixed reduced and non-reduce runs (e.g., there could be
// just one run without reduction, or just one reduced run, and so on.)
// We could also add support in Verify to only execute runs with a specific
// name, allowing to run all examples in their "infinite" (non-reduced) mode
// (as long as they all name their runs with no steps "infinite", that is).
//
// Names are free form, and we could use them to defined the run-dir, e.g.,
// "short" validation will be run in ".run-short", "long" in ".run-long" and
// so on.
runs
(
// This is a quick test: The example is reduced to just 2 timesteps, and
// we check the resulting file against its MD5 hash.
quick {
steps 2;
generatedFile "postProcessing/2/blah";
// because the validation is in MD5 format, there is no need to have
// a referenceFile
failIf {
md5Differs "123123";
}
}
// In case the MD5 fails, the case is run again, but this time reduced to
// 10 timesteps. This run also includes continuations, by changing the
// listed files to make one follow the timesteps of the previous. The run
// will fail if relative or absolute differences are above 0.
short {
short {
steps 10;
steps 10;
generatedFile "postProcessing/10/blah";
generatedFile "postProcessing/10/blah";
referenceFile "verification/10/blah";
referenceFile "verification/10/blah";
// No tolerances mean "it will warn if the values are not the same"
// No tolerances mean "it will warn if the values are not the same"
// This makes the continuations explicit, by specificing files that form a single run.
// This makes the continuations explicit, by specificing files that
// form a single run.
continuations (
continuations (
"system/caseSetupDict.initial"
"system/caseSetupDict.initial"
"system/caseSetupDict.continuation1"
"system/caseSetupDict.continuation1"
"system/caseSetupDict.continuation2"
"system/caseSetupDict.continuation2"
)
);
}
}
// If in 10 timestemps the values do not match the reference file, a 100
// timesteps run is done. There is no continuation, and for this run to
// fail, both absolute and relative tolerances must be above the designed
// threshold.
long {
long {
steps 100;
steps 100;
generatedFile "postProcessing/100/blah";
generatedFile "postProcessing/100/blah";
@ -62,29 +102,37 @@ validation {
failIf {
failIf {
absolute 10;
absolute 10;
relative 10;
relative 10;
operator and; // will fail is the absolute difference is above 10 AND the relative difference is above 10;
// will fail is the absolute difference is above 10 AND the
// relative difference is above 10;
operator and;
}
}
}
}
// If the 100 timesteps fails, then we run the example a 4th time, this
// time without any reductions (the "steps" property is not set in this
// run). There are no continations either.
infinite {
infinite {
// With no steps, there is no reduction
// With no steps, there is no reduction.
// (maybe we need something to tell that there is no reduction explicitly?)
// (maybe we need something to tell that there is no reduction
generatedFile: "postProcessing/20000/blah;"
// explicitly?)
generatedFile "postProcessing/20000/blah;"
referenceFile "verification/20000/blah";
referenceFile "verification/20000/blah";
failIf {
failIf {
absolute 20;
absolute 20;
relative 20;
relative 20;
// no operator means OR, so example will fail if the absolute different is above 20 OR the relative difference is above 20
// no operator means OR, so example will fail if the absolute
}
// different is above 20 OR the relative difference is above 20
}
}
}
}
);
// This is used for filtering.
// This is used for filtering.
tags ("GIB" "AES" "compressible");
tags ("GIB" "AES" "compressible");
// Only present if the example can't be run in some platform.
- value > keyword > quoted_word: "\"postProcessing/2/blah\""
- dictionary
- keyword > single_word: "failIf"
- entry > attribution
- keyword > single_word: "md5Differs"
- value > keyword > quoted_word: "\"123123\""
- dictionary
- keyword > single_word: "short"
- entry
- attribution
- keyword > single_word: "steps"
- value > keyword > single_word: "10"
- attribution
- keyword > single_word: "generatedFile"
- value > keyword > quoted_word: "\"postProcessing/10/blah\""
- attribution
- keyword > single_word: "referenceFile"
- value > keyword > quoted_word: "\"verification/10/blah\""
- list
- keyword > single_word: "continuations"
- value > keyword > quoted_word: "\"system/caseSetupDict.initial\""
- value > keyword > quoted_word: "\"system/caseSetupDict.continuation1\""
- value > keyword > quoted_word: "\"system/caseSetupDict.continuation2\""
- dictionary
- keyword > single_word: "long"
- entry
- attribution
- keyword > single_word: "steps"
- value > keyword > single_word: "100"
- attribution
- keyword > single_word: "generatedFile"
- value > keyword > quoted_word: "\"postProcessing/100/blah\""
- attribution
- keyword > single_word: "referenceFile"
- value > keyword > quoted_word: "\"verification/100/blah\""
- dictionary
- keyword > single_word: "failIf"
- entry
- attribution
- keyword > single_word: "absolute"
- value > keyword > single_word: "10"
- attribution
- keyword > single_word: "relative"
- value > keyword > single_word: "10"
- attribution
- keyword > single_word: "operator"
- value > keyword > single_word: "and"
- dictionary
- keyword > single_word: "infinite"
- entry
- attribution
- keyword > single_word: "generatedFile"
- value > keyword > quoted_word: "\"postProcessing/20000/blah;\""
- value > keyword > single_word: "referenceFile"
- value > keyword > quoted_word: "\"verification/20000/blah\""
- dictionary
- keyword > single_word: "failIf"
- entry
- attribution
- keyword > single_word: "absolute"
- value > keyword > single_word: "20"
- attribution
- keyword > single_word: "relative"
- value > keyword > single_word: "20"
- list
- keyword > single_word: "tags"
- value > keyword > quoted_word: "\"GIB\""
- value > keyword > quoted_word: "\"AES\""
- value > keyword > quoted_word: "\"compressible\""
- dictionary
- keyword > single_word: "unstable"
- entry
- attribution
- keyword > single_word: "operatingSystem"
- value > keyword > single_word: "windows"
- attribution
- keyword > single_word: "reason"
- value > keyword > quoted_word: "\"Allrun uses Python, and Python isn't usually available on Windows\""
- EOI: ""
```
Migration plans?
Migration plans?
- Side pipeline?
- Side pipeline?
- Current pipeline still exists, a new pipeline is build next to it with the new actors, with the new structures and "finder" sends requests depending on found files.
- Current pipeline still exists, a new pipeline is build next to it with the new actors, with the new structures and "finder" sends requests depending on found files.
@ -122,3 +268,13 @@ Migration plans?
- No actors?
- No actors?
- New design is in early stages and I'm not sure how long till they are both feature compatible.
- New design is in early stages and I'm not sure how long till they are both feature compatible.