blob: 91c3ee92339f75871e69f2dfb962b3834b94b834 (
plain)
1
2
3
4
5
6
7
8
9
|
// SPDX-License-Identifier: Apache-2.0
package firrtl.backends.experimental.smt.end2end
import org.scalatest.Tag
// To disable tests that require the Z3 SMT solver to be installed use the following:
// `sbt testOnly -- -l RequiresZ3`
object RequiresZ3 extends Tag("RequiresZ3")
|
