Show pageOld revisionsBacklinksBack to top This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong. ===== Generating tests from models ===== You can use modelator: https:%%//%%github.com/informalsystems/modelator It can be installed through pip (python’s package manager): <code> pip install modelator </code> using/generating_tests_from_models.txt Last modified: 2024/09/28 15:58by 127.0.0.1
127.0.0.1