Transformations should/will usually be executed bidirectionally. The framework tests (Reactions, Commonalities, V-SUM) tests currently only execute the test change propagation specifications in one direction. With this PR, their execution is performed in both directions until a fixed point is reached.
This PR makes the following changes:
Enables transitive change propagation in test domains, such that Reactins and Commonalities tests are executed with transitive change propagation
Updates the Reactions in the Reactions tests to allow their execution in a bidirectional setting.
Updates the Commonalities tests to conform to the bidirectional execution of generated transformations.
Updates test change propagation specification in V-SUM tests to properly handle bidirectional execution.
Transformations should/will usually be executed bidirectionally. The framework tests (Reactions, Commonalities, V-SUM) tests currently only execute the test change propagation specifications in one direction. With this PR, their execution is performed in both directions until a fixed point is reached.
This PR makes the following changes: