← Back to branch summary

~jonathan-r-beaumont/workcraft/trunk-bug-1537854

« back to all changes in this revision

Viewing changes to MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/MpsatSettings.java

  • Committer: Danil Sokolov
  • Date: 2016-01-02 22:46:33 UTC
  • Revision ID: danilovesky@gmail.com-20160102224633-1es3590xmyqmgcey
https://launchpad.net/bugs/1530480
Substitute the internal signals with dummies for the purpose of circuit conformation check.

Show diffs side-by-side

added added

removed removed

Lines of Context:
MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/MpsatSettings.java
13
13
 
14
14
public class MpsatSettings {
15
15
 
 
16
        private static final String PROPERTY_FILE_PREFIX = "property";
 
17
        private static final String PROPERTY_FILE_EXTENTION = ".re";
 
18
 
16
19
        public enum SolutionMode {
17
20
                MINIMUM_COST("Minimal cost solution"),
18
21
                FIRST("First solution"),
188
191
                        try {
189
192
                                File reachFile = null;
190
193
                                if (workingDirectory == null) {
191
 
                                        reachFile = File.createTempFile("property", ".re");
 
194
                                        reachFile = File.createTempFile(PROPERTY_FILE_PREFIX, PROPERTY_FILE_EXTENTION);
192
195
                                        reachFile.deleteOnExit();
193
196
                                } else {
194
 
                                        reachFile = new File(workingDirectory, "property.re");
 
197
                                        String prefix = (name == null ? PROPERTY_FILE_PREFIX : PROPERTY_FILE_PREFIX + "-" + name.replaceAll("\\s", "_"));
 
198
                                        reachFile = new File(workingDirectory, prefix + PROPERTY_FILE_EXTENTION);
195
199
                                }
196
200
                                FileUtils.dumpString(reachFile, getReach());
197
201
                                args.add("-d");