Adding a script to run automation for model-checking.
[smartthings-infrastructure.git] / ModelCheck.py
2019-07-24 rtrimanaAdding a script to run automation for model-checking.