From 60ff01b30daea9aa0bb3a6a380a2dad438a19be0 Mon Sep 17 00:00:00 2001
From: Anish Agrawal <anish.agrawal@intel.com>
Date: Mon, 13 Jun 2022 17:26:33 +0000
Subject: [PATCH] Update do

---
 do_install.sh             | 8 +++-----
 src/check_random_progs.py | 3 +--
 2 files changed, 4 insertions(+), 7 deletions(-)

diff --git a/do_install.sh b/do_install.sh
index 682f1566..26908efe 100755
--- a/do_install.sh
+++ b/do_install.sh
@@ -119,11 +119,9 @@ sudo apt install libboost-filesystem-dev
 
 # grab the toz3 extension for the p4 compiler
 mkdir -p ${MODULE_DIR}/p4c/extensions
-# only install bludgeon if we are not running in CI
-if [ "$RUN_CI" == "ON" ]; then
-    echo "Also linking extra modules..."
-    ln -sf ${MODULE_DIR}/bludgeon ${MODULE_DIR}/p4c/extensions/bludgeon
-fi
+
+echo "Also linking extra modules..."
+ln -sf ${MODULE_DIR}/bludgeon ${MODULE_DIR}/p4c/extensions/bludgeon
 ln -sf ${MODULE_DIR}/toz3 ${MODULE_DIR}/p4c/extensions/toz3
 
 # build the p4 compiler
diff --git a/src/check_random_progs.py b/src/check_random_progs.py
index 03ca2552..c7d709f3 100755
--- a/src/check_random_progs.py
+++ b/src/check_random_progs.py
@@ -12,7 +12,6 @@
 import json
 
 import util
-import validate_p4_translation as validation
 
 # configure logging
 log = logging.getLogger(__name__)
@@ -298,7 +297,7 @@ def check(idx, config):
             dump_file(CRASH_BUG_DIR, p4_file)
             if config["do_prune"]:
                 info_file = CRASH_BUG_DIR.joinpath(f"{p4_file.stem}_info.json")
-                info = validation.INFO
+                info = 1
                 # customize the main info with the new information
                 info["compiler"] = str(config["compiler_bin"])
                 info["exit_code"] = result.returncode