passthrough parameters to verification lib