scan: add --cfg=kani
to collect harnesses in conditional modules
#464
Loading
--cfg=kani
to collect harnesses in conditional modules
#464