# HG changeset patch
# User atton <atton@cr.ie.u-ryukyu.ac.jp>
# Date 1486975150 -32400
# Node ID 05068a4d0b524452b070d358629c9ddb858703ea
# Parent  1a9c04ea28fb79b097e23a64f296969e94b3fcc4
Fix specification

diff -r 1a9c04ea28fb -r 05068a4d0b52 paper/atton-master.pdf
Binary file paper/atton-master.pdf has changed
diff -r 1a9c04ea28fb -r 05068a4d0b52 paper/src/assert.c
--- 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);
 }