We would like to use a combination of Mapkeys and Batch Files to review models that ModelCheck can not do. Some of these checks require the results of very specific and complicated searches using the FIND/SEARCH tool. We would love if we could export these results so that the Batch file can analyze it. Currently there is no functionality to export these results.
Thank you!
You must be a registered user to add a comment. If you've already registered, sign in. Otherwise, register and sign in.