BasicWitness
chiseltest.formal.`package`.BasicWitness
case class BasicWitness(body: String) extends Witness
Most basic type of witness: simply dumps the ouput from the BMC tool
Attributes
- Source
- package.scala
- Graph
-
- Supertypes
Members list
In this article