ajust expected test outputs

rems-project · Dec 16, 2024 · 04ea70e · 04ea70e
1 parent 0ff6402
commit 04ea70e
Show file tree

Hide file tree

Showing 8 changed files with 9 additions and 8 deletions.
diff --git a/test/lean/bitvec_operation.expected.lean b/test/lean/bitvec_operation.expected.lean
@@ -1,4 +1,4 @@
-import Sail.sail
+import MyProject.Sail.Sail
 
 def bitvector_eq (x : BitVec 16) (y : BitVec 16) : Bool :=
   (Eq x y)

diff --git a/test/lean/enum.expected.lean b/test/lean/enum.expected.lean
@@ -1,4 +1,4 @@
-import Sail.sail
+import MyProject.Sail.Sail
 
 inductive E where | A | B | C
   deriving Inhabited

diff --git a/test/lean/extern.expected.lean b/test/lean/extern.expected.lean
@@ -1,4 +1,4 @@
-import Sail.sail
+import MyProject.Sail.Sail
 
 def extern_add : Int :=
   (Int.add 5 4)

diff --git a/test/lean/let.expected.lean b/test/lean/let.expected.lean
@@ -1,4 +1,4 @@
-import Sail.sail
+import MyProject.Sail.Sail
 
 def foo : BitVec 16 :=
   let z := (HOr.hOr (0xFFFF : BitVec 16) (0xABCD : BitVec 16))

diff --git a/test/lean/struct.expected.lean b/test/lean/struct.expected.lean
@@ -1,4 +1,4 @@
-import My_Project.Sail.sail
+import MyProject.Sail.Sail
 
 structure My_struct where
   field1 : Int
@@ -10,3 +10,4 @@ def undefined_My_struct (lit : Unit) : My_struct :=
 
 def initialize_registers : Unit :=
   ()
+
diff --git a/test/lean/trivial.expected.lean b/test/lean/trivial.expected.lean
@@ -1,4 +1,4 @@
-import Sail.sail
+import MyProject.Sail.Sail
 
 def foo (y : Unit) : Unit :=
   y

diff --git a/test/lean/tuples.expected.lean b/test/lean/tuples.expected.lean
@@ -1,4 +1,4 @@
-import Sail.sail
+import MyProject.Sail.Sail
 
 def tuple1 : (Int × Int × (BitVec 2 × Unit)) :=
   (3, 5, ((0b10 : BitVec 2), ()))

diff --git a/test/lean/typquant.expected.lean b/test/lean/typquant.expected.lean
@@ -1,4 +1,4 @@
-import Sail.sail
+import MyProject.Sail.Sail
 
 def foo (n : Int) : BitVec 4 :=
   (0xF : BitVec 4)