From 0aaf7e8d0379435403655588112b7e61139e462c Mon Sep 17 00:00:00 2001
From: Donald Sebastian Leung
Date: Wed, 29 Jul 2020 12:55:36 +0800
Subject: [PATCH] Resolve import issue in rvfi_insn_check.py for now
---
checks/rvfi_insn_check.py | 11 +++++------
1 file changed, 5 insertions(+), 6 deletions(-)
diff --git a/checks/rvfi_insn_check.py b/checks/rvfi_insn_check.py
index efc965a..5a9b4cf 100644
--- a/checks/rvfi_insn_check.py
+++ b/checks/rvfi_insn_check.py
@@ -1,7 +1,10 @@
from nmigen import *
from nmigen.hdl.ast import *
-# TODO: Find a way to make this import work
-# from ..insns.insn_add import *
+
+# Ugly hack for now to get the insn_add import working
+import sys
+sys.path.append('../insns')
+from insn_add import *
class rvfi_insn_check(Elaboratable):
def __init__(self, RISCV_FORMAL_ILEN=32, RISCV_FORMAL_XLEN=32):
@@ -200,7 +203,3 @@ class rvfi_insn_check(Elaboratable):
m.d.comb += Assert(spec_trap == trap)
return m
-
-test = rvfi_insn_check()
-test.ports()
-test.elaborate(platform=None)