Progress in Verific bindings
Progress in Verific bindings
Fixed typo in RTLIL::Module::addAdff()
Progress in Verific bindings