Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

T

tlc4b
- Activity
- Members
- Labels
- Releases
- Model registry
- Model experiments

Snippets Groups Projects

Admin message

Ab 01.06.2025 wird in der Informatik 2FA/MFA erzwungen. Die Einrichtung wird vorher empfohlen, optimalerweise direkt mit Fallback (Hardwaretoken UND TOTP-/Authenticator App).

24d7790c

Commit 24d7790c authored 9 months ago by dgelessus

Downloads
- Patches
- Plain Diff

Remove TestPair

parent f4b540e1

No related branches found

No related tags found

Loading

Changes 9

Show whitespace changes

Inline Side-by-side

Showing

src/test/java/de/tlc4b/tlc/integration/BasicTest.java 11 additions, 11 deletions

src/test/java/de/tlc4b/tlc/integration/BasicTest.java
src/test/java/de/tlc4b/tlc/integration/probprivate/AssertionErrorTest.java 3 additions, 4 deletions

...tlc4b/tlc/integration/probprivate/AssertionErrorTest.java
src/test/java/de/tlc4b/tlc/integration/probprivate/DeadlockTest.java 10 additions, 12 deletions

...va/de/tlc4b/tlc/integration/probprivate/DeadlockTest.java
src/test/java/de/tlc4b/tlc/integration/probprivate/GoalTest.java 10 additions, 12 deletions

...t/java/de/tlc4b/tlc/integration/probprivate/GoalTest.java
src/test/java/de/tlc4b/tlc/integration/probprivate/InvariantViolationTest.java 10 additions, 12 deletions

...b/tlc/integration/probprivate/InvariantViolationTest.java
src/test/java/de/tlc4b/tlc/integration/probprivate/NoErrorTest.java 10 additions, 12 deletions

...ava/de/tlc4b/tlc/integration/probprivate/NoErrorTest.java
src/test/java/de/tlc4b/tlc/integration/probprivate/WellDefinednessTest.java 3 additions, 4 deletions

...lc4b/tlc/integration/probprivate/WellDefinednessTest.java
src/test/java/de/tlc4b/util/AbstractParseMachineTest.java 4 additions, 4 deletions

src/test/java/de/tlc4b/util/AbstractParseMachineTest.java
src/test/java/de/tlc4b/util/TestPair.java 0 additions, 22 deletions

src/test/java/de/tlc4b/util/TestPair.java

with 61 additions and 93 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment