From 52824ce57e9d60fe6ef721cfb073249e654dcf46 Mon Sep 17 00:00:00 2001
From: Aditya Naik
Date: Mon, 3 Jun 2024 19:41:04 -0700
Subject: fix stuff in src/

build is failing with a compile error in 3.3.3 due to something in
Aggregate.scala. reduce to smallest form and file a bug report maybe?
---
 .../experimental/verification/package.scala        | 80 ++++++++++------------
 1 file changed, 35 insertions(+), 45 deletions(-)

(limited to 'src/main/scala/chisel3/experimental')

diff --git a/src/main/scala/chisel3/experimental/verification/package.scala b/src/main/scala/chisel3/experimental/verification/package.scala
index 1cedb8da..808da669 100644
--- a/src/main/scala/chisel3/experimental/verification/package.scala
+++ b/src/main/scala/chisel3/experimental/verification/package.scala
@@ -1,51 +1,41 @@
-// SPDX-License-Identifier: Apache-2.0
+// // SPDX-License-Identifier: Apache-2.0
 
-package chisel3.experimental
+// package chisel3.experimental
 
-import chisel3.{Bool, CompileOptions}
-import chisel3.internal.sourceinfo.SourceInfo
+// import chisel3.Bool
 
-package object verification {
+// package object verification {
 
-  object assert {
-    @deprecated(
-      "Please use chisel3.assert instead. The chisel3.experimental.verification package will be removed.",
-      "Chisel 3.5"
-    )
-    def apply(
-      predicate: Bool,
-      msg:       String = ""
-    )(
-      implicit sourceInfo: SourceInfo,
-      compileOptions:      CompileOptions
-    ): chisel3.assert.Assert = chisel3.assert(predicate, msg)
-  }
+//   object assert {
+//     @deprecated(
+//       "Please use chisel3.assert instead. The chisel3.experimental.verification package will be removed.",
+//       "Chisel 3.5"
+//     )
+//     def apply(
+//       predicate: Bool,
+//       msg:       String = ""
+//     ): chisel3.assert.Assert = chisel3.assert(predicate, msg)
+//   }
 
-  object assume {
-    @deprecated(
-      "Please use chisel3.assume instead. The chisel3.experimental.verification package will be removed.",
-      "Chisel 3.5"
-    )
-    def apply(
-      predicate: Bool,
-      msg:       String = ""
-    )(
-      implicit sourceInfo: SourceInfo,
-      compileOptions:      CompileOptions
-    ): chisel3.assume.Assume = chisel3.assume(predicate, msg)
-  }
+//   object assume {
+//     @deprecated(
+//       "Please use chisel3.assume instead. The chisel3.experimental.verification package will be removed.",
+//       "Chisel 3.5"
+//     )
+//     def apply(
+//       predicate: Bool,
+//       msg:       String = ""
+//     ): chisel3.assume.Assume = chisel3.assume(predicate, msg)
+//   }
 
-  object cover {
-    @deprecated(
-      "Please use chisel3.cover instead. The chisel3.experimental.verification package will be removed.",
-      "Chisel 3.5"
-    )
-    def apply(
-      predicate: Bool,
-      msg:       String = ""
-    )(
-      implicit sourceInfo: SourceInfo,
-      compileOptions:      CompileOptions
-    ): chisel3.cover.Cover = chisel3.cover(predicate, msg)
-  }
-}
+//   object cover {
+//     @deprecated(
+//       "Please use chisel3.cover instead. The chisel3.experimental.verification package will be removed.",
+//       "Chisel 3.5"
+//     )
+//     def apply(
+//       predicate: Bool,
+//       msg:       String = ""
+//     ): chisel3.cover.Cover = chisel3.cover(predicate, msg)
+//   }
+// }
-- 
cgit v1.2.3