Skip to content
GitLab
Explore
Sign in
Jon Shahen
Solidity-Safety to Model Checking
Issues
#28
Allow MacOS
TODO
Update the README with MAC specific instructions
Copy the NuXMV executable for MacOS
Copy the NuSMV with ZCHAFF for MacOS
Edited
Jan 31, 2020
by
Tayef Mahmud Shah