Consider dropping smlp_verify module as it's functionality is supported in smlp_query module in a more general and unified way. The snlp_verify module does not support robust verification (perturbation of knobs) and was originally maintained as an extra way of performing verification when knobs are not present (or are fixed and radii are 0), to double check results obtained with smlp_query module. At this point we have a good test coverage and higher confidence so we could simplify the implementation by dropping smlp_verify module..
Consider dropping smlp_verify module as it's functionality is supported in smlp_query module in a more general and unified way. The snlp_verify module does not support robust verification (perturbation of knobs) and was originally maintained as an extra way of performing verification when knobs are not present (or are fixed and radii are 0), to double check results obtained with smlp_query module. At this point we have a good test coverage and higher confidence so we could simplify the implementation by dropping smlp_verify module..