← Back to branch summary

~danilovesky/workcraft/trunk-save-trace

~danilovesky/workcraft/trunk-save-trace

Viewing all changes in revision 635.

Committer: Danil Sokolov
Date: 2015-08-03 12:45:13 UTC
Revision ID: danilovesky@gmail.com-20150803124513-zs05i7s2vhyijkqt

Update of unit tests.
Use of the default working directory for the external tools.

files modified:
CircuitPlugin/src/org/workcraft/plugins/circuit/stg/CircuitStgUtils.java

CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/CheckCircuitTask.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/SatBasedSolver.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/ScencoExecutionSupport.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/ScencoExternalToolTask.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/ScencoSolver.java

MpsatPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatConformationTask.java

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

MpsatPlugin/src/org/workcraft/plugins/mpsat/tasks/PunfTask.java

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

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

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

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

Tests/src/org/workcraft/testing/dom/visual/VisualComponentGroupTests.java

Tests/src/org/workcraft/testing/plugins/petri/SaveLoadTests.java

WorkcraftCore/src/org/workcraft/plugins/layout/DotLayoutTool.java

WorkcraftCore/src/org/workcraft/plugins/shared/tasks/ExternalProcessTask.java

Show diffs side-by-side

added added

removed removed

CircuitPlugin/src/org/workcraft/plugins/circuit/stg/CircuitStgUtils.java

CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/CheckCircuitTask.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/SatBasedSolver.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/ScencoExecutionSupport.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/ScencoExternalToolTask.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/ScencoSolver.java

MpsatPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatConformationTask.java

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

MpsatPlugin/src/org/workcraft/plugins/mpsat/tasks/PunfTask.java

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

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

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

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

Tests/src/org/workcraft/testing/dom/visual/VisualComponentGroupTests.java

Tests/src/org/workcraft/testing/plugins/petri/SaveLoadTests.java

WorkcraftCore/src/org/workcraft/plugins/layout/DotLayoutTool.java

WorkcraftCore/src/org/workcraft/plugins/shared/tasks/ExternalProcessTask.java

Older »