Merge branch 'newactionlist' of ssh://plrg.eecs.uci.edu:/home/git/random-fuzzer into...
authorBrian Demsky <bdemsky@uci.edu>
Thu, 9 Apr 2020 00:38:53 +0000 (17:38 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Thu, 9 Apr 2020 00:38:53 +0000 (17:38 -0700)
actionlist.cc

index 9f95384..0dc8bc8 100644 (file)
@@ -227,8 +227,7 @@ void actionlist::removeAction(ModelAction * act) {
 void actionlist::clear() {
        for(uint i = 0;i < ALLNODESIZE;i++) {
                if (root.children[i] != NULL) {
-                       if (!(((uintptr_t) root.children[i]) & ISACT))
-                               delete root.children[i];
+                       delete root.children[i];
                        root.children[i] = NULL;
                }
        }