ignore Test in

tests/carisma.check.smartcard.evolution.tests/src/carisma/check/smartcard/evolution/lockedstatuscheck/LockedStatusEvolutionDeltaOnlyCheckTest.java
CARiSMA-Tool · Mar 5, 2024 · a255388 · a255388
1 parent 36bfaaa
commit a255388
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.../check/smartcard/evolution/lockedstatuscheck/LockedStatusEvolutionDeltaOnlyCheckTest.java b/.../check/smartcard/evolution/lockedstatuscheck/LockedStatusEvolutionDeltaOnlyCheckTest.java
@@ -33,7 +33,7 @@
  * @author jkowald
  *
  */
-@Ignore
+
 public class LockedStatusEvolutionDeltaOnlyCheckTest {
 
 	/**
@@ -104,6 +104,7 @@ public final void testAddLockedStatusDeletingOutgoingTransition() {
 	/**
 	 * A transition gets a new source state which owns the stereotype locked-status.
 	 */
+	@Ignore
 	@Test
 	public final void testEditTransition() {
 		assertFalse(performCheck("testEditTransition.uml"));