Make verificationService.test.runtime an eclipse-test-plugin.
Change-Id: Ic93726f17b4db7fa8926d4c505a3f037a58f7bcb
Showing
- plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/pom.xml 2 additions, 2 deletions....chess.contracts.verificationService.test.runtime/pom.xml
- plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestApplyCHESSStereotype.java 2 additions, 0 deletions...nService/test/runtime/tests/TestApplyCHESSStereotype.java
- plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestApplyRecursively.java 2 additions, 0 deletions...ationService/test/runtime/tests/TestApplyRecursively.java
- plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestCheckContractRefinementOfCHESSComponent.java 2 additions, 0 deletions...me/tests/TestCheckContractRefinementOfCHESSComponent.java
- plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestCreateViews.java 2 additions, 0 deletions...rificationService/test/runtime/tests/TestCreateViews.java
- plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestModelChecking.java 2 additions, 0 deletions...ficationService/test/runtime/tests/TestModelChecking.java
Loading
Please register or sign in to comment