diff options
author | Erik Schnetter <schnetter@gmail.com> | 2012-08-30 10:27:41 -0400 |
---|---|---|
committer | Erik Schnetter <schnetter@gmail.com> | 2012-08-30 10:27:41 -0400 |
commit | 555a1a6fcc6b067affbdd7d21a2335aa2bfa0436 (patch) | |
tree | 9d8950542bcc35f990087d16d294349a32e9422c /Carpet/Carpet/param.ccl | |
parent | 2e031448f4255c0b8599f32c15cb6226db87d824 (diff) |
Carpet: Check schedule reads/writes statements at run time
Diffstat (limited to 'Carpet/Carpet/param.ccl')
-rw-r--r-- | Carpet/Carpet/param.ccl | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/Carpet/Carpet/param.ccl b/Carpet/Carpet/param.ccl index 586af8eb8..259012844 100644 --- a/Carpet/Carpet/param.ccl +++ b/Carpet/Carpet/param.ccl @@ -596,6 +596,14 @@ BOOLEAN use_unusedpoints_mask "Turn on storage and usage of 'unusedpoints_mask'" -BOOLEAN requirement_inconsistencies_are_fatal "Abort when encountering inconsistencies in requirements" STEERABLE=recover +BOOLEAN check_requirements "Check schedule requirements" STEERABLE=always +{ +} "no" + +BOOLEAN requirements_verbose "Output details when checking requirements" STEERABLE=always +{ +} "no" + +BOOLEAN requirement_inconsistencies_are_fatal "Abort when encountering inconsistencies in requirements" STEERABLE=always { } "no" |