Skip to content
GitLab
Explore
Sign in
Jon Shahen
mohawk-2.0
Repository
mohawk-2.0
src
mohawk
refine
RolesAbsRefine.java
Find file
Blame
History
Permalink
Adds the return value from NuSMV to a variable and provides a function to retrieve it
· d3d07284
Jonathan Shahen
authored
Dec 20, 2015
d3d07284