← Back to branch summary

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

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

Viewing all changes in revision 704.

Committer: Danil Sokolov
Date: 2016-01-03 21:57:29 UTC
Revision ID: danilovesky@gmail.com-20160103215729-j5dschqwjjjwt0j6

https://launchpad.net/bugs/1530714

Extra arguments to backend tools are added after the built-in arguments but before the file parameters

files modified:
MpsatSynthesisPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatSynthesisTask.java

MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/MpsatSettings.java

MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatTask.java

PcompPlugin/src/org/workcraft/plugins/pcomp/tasks/PcompTask.java

PetrifyExtraPlugin/src/org/workcraft/plugins/petrify/tasks/DrawAstgTask.java

PetrifyExtraPlugin/src/org/workcraft/plugins/petrify/tasks/WriteSgTask.java

PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/PetrifyTask.java

PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/SynthesisTask.java

PunfPlugin/src/org/workcraft/plugins/punf/tasks/PunfTask.java

Show diffs side-by-side

added added

removed removed

MpsatSynthesisPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatSynthesisTask.java

MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/MpsatSettings.java

MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatTask.java

PcompPlugin/src/org/workcraft/plugins/pcomp/tasks/PcompTask.java

PetrifyExtraPlugin/src/org/workcraft/plugins/petrify/tasks/DrawAstgTask.java

PetrifyExtraPlugin/src/org/workcraft/plugins/petrify/tasks/WriteSgTask.java

PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/PetrifyTask.java

PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/SynthesisTask.java

PunfPlugin/src/org/workcraft/plugins/punf/tasks/PunfTask.java

Older »