Skip to content

Resolve "Support abstraction option in nuXmv checks"

Luca Cristoforetti requested to merge 14-support-abstraction-option-in-nuxmv-checks into master

Closes #14 (closed)

Edited by Luca Cristoforetti

Merge request reports