enabled test case; removed test artifact upload

.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

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();