Commit 47cbd9d7 authored by Simon Barner's avatar Simon Barner
Browse files

Use current file extension af3_23 for test models

Issue-Ref: 3642
Issue-Url: https://af3-developer.fortiss.org/issues/3642

Signed-off-by: Simon Barner's avatarSimon Barner <barner@fortiss.org>
parent 198b583d
......@@ -41,7 +41,7 @@ import org.junit.Test;
/**
* Tests the components library management. Test data is taken from the model
* "test-data/LibraryTests.af3_20"
* "test-data/LibraryTests.af3_23"
*
* @author ratiu
*/
......@@ -59,7 +59,7 @@ public class SmokeComponentLibraryTest extends LibraryTestBase {
// Bring up persistence service for this test
IPersistencyService.getInstance().getClass();
project = loadProjectFromPlugin(AF3ComponentActivator.PLUGIN_ID,
"test-data/LibraryTests.af3_20", true);
"test-data/LibraryTests.af3_23", true);
createAndSaveLibrary("default", "default");
......
......@@ -44,7 +44,7 @@ public class ComponentScopingTest {
@Before
public void setUp() {
FileProject project = loadProjectFromPlugin(AF3ComponentActivator.PLUGIN_ID,
"test-data/ComponentBasicTests.af3_20", true);
"test-data/ComponentBasicTests.af3_23", true);
ComponentArchitecture ca = findComponentArchitecture(project, "Component Architecture");
top = ca.getTopComponent();
......
......@@ -70,7 +70,7 @@ import test.org.fortiss.af3.analyses.base.ModelCheckerAnalysesTestBase;
* public void setup() {
* FileProject project =
* loadProjectFromPlugin(Af3TestingActivator.PLUGIN_ID,
* "test-data/StateCoverageModelCheckingTest.af3_20", true);
* "test-data/StateCoverageModelCheckingTest.af3_23", true);
*
* ComponentArchitecture ca = findComponentArchitecture(project, "Component Architecture");
* Component top = ca.getTopComponent();
......
......@@ -83,7 +83,7 @@ import test.org.fortiss.af3.analyses.base.ModelCheckerAnalysesTestBase;
* public void setup() {
* FileProject project =
* loadProjectFromPlugin(Af3TestingActivator.PLUGIN_ID,
* "test-data/TransitionCoverageModelCheckingTest.af3_20", true);
* "test-data/TransitionCoverageModelCheckingTest.af3_23", true);
*
* ComponentArchitecture ca = findComponentArchitecture(project, "Component Architecture");
* Component top = ca.getTopComponent();
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment