Mike Gerwitz

Activist for User Freedom

aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMike Gerwitz <mike.gerwitz@rtspecialty.com>2018-03-20 14:50:43 -0400
committerMike Gerwitz <mike.gerwitz@rtspecialty.com>2018-09-11 09:30:53 -0400
commit92ab072fbdfa45b1adae4ac9fbc795f55b9532f3 (patch)
tree004fe17e8b8d38349b9bd5f852f26efd1609da40
parent1b0da8c870dd90e431e85433f3b8a453b11be343 (diff)
downloadtame-92ab072fbdfa45b1adae4ac9fbc795f55b9532f3.tar.gz
tame-92ab072fbdfa45b1adae4ac9fbc795f55b9532f3.tar.bz2
tame-92ab072fbdfa45b1adae4ac9fbc795f55b9532f3.zip
assert: Add assert_ignore param
Makes life a bit easier when debugging. * assert.xml (assert_ignore): Add param.
-rw-r--r--core/assert.xml7
1 files changed, 7 insertions, 0 deletions
diff --git a/core/assert.xml b/core/assert.xml
index 9f5dc48..726ee7d 100644
--- a/core/assert.xml
+++ b/core/assert.xml
@@ -50,6 +50,12 @@
and a terminating classification to ensure that the assertion
yields~$\top$.
+ The param \ref{assert_ignore} will suppress assertion failures at runtime.
+
+ <param name="assert_ignore" type="boolean" default="0"
+ desc="Ignore assertion failures" />
+
+
<template name="_assert_"
desc="Terminate on predicate failure">
<param name="@values@" desc="Predicates" />
@@ -97,6 +103,7 @@
classifications terminate on _match_. -->
<classify as="@as@" desc="@failure@" terminate="true">
+ <match on="assert_ignore" value="FALSE" />
<match on="@neg_yields@" value="FALSE" />
</classify>
</template>