Mercurial > hg > Papers > 2017 > atton-master

changeset 118:05068a4d0b52

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix specification
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Mon, 13 Feb 2017 17:39:10 +0900
parents 1a9c04ea28fb
children 26563097333c
files paper/atton-master.pdf paper/src/assert.c
diffstat 2 files changed, 6 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
Binary file paper/atton-master.pdf has changed
--- a/paper/src/assert.c	Mon Feb 13 17:33:48 2017 +0900
+++ b/paper/src/assert.c	Mon Feb 13 17:39:10 2017 +0900
@@ -1,4 +1,7 @@
-void verifySpecification(struct Context* context, struct Tree* tree) {
-    assert(!(maxHeight(tree->root, 1) > 2*minHeight(tree->root, 1)));
-    goto meta(context, EnumerateInputs);
+__code verifySpecificationFinish(struct Context* context) {
+    if (context->data[AkashaInfo]->akashaInfo.maxHeight > 2*context->data[AkashaInfo]->akashaInfo.minHeight) {
+        context->next = Exit;
+        goto meta(context, ShowTrace);
+    }
+    goto meta(context, DuplicateIterator);
 }