Skip to main content
harness_module
logicaffeine_
compile
0.11.0
In logicaffeine_
compile::
codegen_
sva::
qor_
harness
logicaffeine_compile
::
codegen_sva
::
qor_harness
Function
harness_
module
Copy item path
Source
pub fn harness_module(c: &
Candidate
) ->
String
Expand description
The harness module’s name for
c
.