Investigate cause for failure of JUnit tests related to requires check

CARiSMA-Tool / carisma-tool

Implementation of the CARiSMA Tool

https://github.com/CARiSMA-Tool/carisma-tool

Eclipse Public License 1.0

3 stars 5 forks source link

Investigate cause for failure of JUnit tests related to requires check #24

Closed nuthub closed 4 months ago

nuthub commented 1 year ago

./tests/carisma.check.requirescheck.tests/src/carisma/check/requirescheck/RequiresCheckTest.java
140:    @Ignore
141-    public final void testViolated() {

APHDKO commented 4 months ago

Fixed with a08e50bd3ef1f96ccd49f9755eeebb3ee35b0c19