When you execute your Alloy-code in Analyzer you get some message like "No counterexample was found". And I want extract this message. I want, for example, get .txt file with this message. Can somebody help me?
When you execute your Alloy-code in Analyzer you get some message like "No counterexample was found". And I want extract this message. I want, for example, get .txt file with this message. Can somebody help me?
The cleanest and easiest way to do this would be to write a small java program that makes calls to the Alloy API to analyze given models and write the result in a text file (example here).
Now if you want to choose the hard and dirty way, that is: to extract such information from the guenuine Alloy analyzer GUI (not from a program of your own that calls the Alloy API),I guess a solution could be to use image recognition scripting tools like sikuli.