Skip to content
GitLab
Explore
Sign in
ESProjects
EATA
Merge requests
!14
Resolve "Support abstraction option in nuXmv checks"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Luca Cristoforetti
requested to merge
14-support-abstraction-option-in-nuxmv-checks
into
master
Jun 10, 2022
Overview
0
Commits
1
Pipelines
0
Changes
1
Expand
Closes
#14 (closed)
Edited
Jun 10, 2022
by
Luca Cristoforetti
Merge request reports