From 99fb40700d8740341066b19363fc5e4d337b8877 Mon Sep 17 00:00:00 2001
From: Dominik Grzelak <dominik@offbeat-pioneer.net>
Date: Tue, 28 May 2024 12:49:03 +0200
Subject: [PATCH] enabled test case; removed test artifact upload

---
 .github/workflows/ci-maven-test.yml                | 14 --------------
 .../usecase/petrinet/BRSPetriNetSimTest.java       |  4 ++--
 2 files changed, 2 insertions(+), 16 deletions(-)

diff --git a/.github/workflows/ci-maven-test.yml b/.github/workflows/ci-maven-test.yml
index df9609a..072ea30 100644
--- a/.github/workflows/ci-maven-test.yml
+++ b/.github/workflows/ci-maven-test.yml
@@ -42,17 +42,3 @@ jobs:
 
       - name: Run tests
         run: mvn test
-
-      - name: Zip test results
-        run: |
-          mkdir -p artifacts
-          pwd
-          tree src
-          ls src
-          zip -r artifacts/test-results.zip ./src/test/resources/dump
-
-      - name: Upload test results
-        uses: actions/upload-artifact@v4
-        with:
-          name: test-results
-          path: artifacts/test-results.zip
diff --git a/src/test/java/org/bigraphs/grgen/converter/usecase/petrinet/BRSPetriNetSimTest.java b/src/test/java/org/bigraphs/grgen/converter/usecase/petrinet/BRSPetriNetSimTest.java
index 0e164bb..efe1fba 100755
--- a/src/test/java/org/bigraphs/grgen/converter/usecase/petrinet/BRSPetriNetSimTest.java
+++ b/src/test/java/org/bigraphs/grgen/converter/usecase/petrinet/BRSPetriNetSimTest.java
@@ -56,7 +56,7 @@ static void setUp() throws IOException {
     // because of the canonical encoding of bigraphs and without sorts, the transition graph has length 2 instead of three.
     // (or introduce a pre-place and post-place, or set allowReducibleClasses = false)
     @Test
-    @Disabled
+//    @Disabled
     public void testSimulatePetriNet() throws InvalidConnectionException, TypeNotExistsException, IOException, InvalidReactionRuleException, ReactiveSystemException, BigraphSimulationException {
         DemoSignatureProvider signatureProvider = DemoSignatureProvider.getInstance();
         DefaultDynamicSignature sig = signatureProvider.petriNet();
@@ -99,7 +99,7 @@ public void testSimulatePetriNet() throws InvalidConnectionException, TypeNotExi
     }
 
     @Test
-    @Disabled
+//    @Disabled
     public void testSimulateSmartHome() throws Exception {
         DemoSignatureProvider signatureProvider = DemoSignatureProvider.getInstance();
         DefaultDynamicSignature sig = signatureProvider.smartHome();