Fixing a few minor issues in monster

cksystemsteaching · Sep 6, 2020 · 0dd6f7f · 0dd6f7f
1 parent e029529
commit 0dd6f7f
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/tools/monster.c b/tools/monster.c
@@ -192,8 +192,6 @@ uint64_t* create_symbolic_context(uint64_t* parent, uint64_t* vctxt);
 uint64_t handle_symbolic_system_call(uint64_t* context);
 uint64_t handle_symbolic_division_by_zero(uint64_t* context);
 uint64_t handle_symbolic_timer(uint64_t* context);
-uint64_t handle_symbolic_merge(uint64_t* context);
-uint64_t handle_symbolic_recursion(uint64_t* context);
 
 uint64_t handle_symbolic_exception(uint64_t* context);
 
@@ -1686,7 +1684,7 @@ uint64_t* schedule_next_symbolic_context() {
 
   // find the currently highest call stack
   while (context) {
-    if (get_call_stack(context) != 0)
+    if (get_call_stack(context) != (uint64_t*) 0)
       if (get_depth(get_call_stack(context)) > max_call_stack_size) {
         max_call_stack_size = get_depth(get_call_stack(context));
         max_call_stack = get_call_stack(context);