Projekt

Obecné

Profil

Akce
Copy link

Feature #10515

uzavřený

Dotažení kontraktových testů

Přidáno uživatelem Petr Štěpánek před téměř 2 roky(ů). Aktualizováno před téměř 2 roky(ů).

Stav:
Closed
Priorita:
Normal
Přiřazeno:
-
Kategorie:
-
Začátek:
2023-04-26
Uzavřít do:
% Hotovo:

100%

Odhadovaná doba:
(Celkem: 9.00hod)
Collaborators:
Importance:
Tags:

Dílčí úkoly 3 (0 otevřených — 3 uzavřených)

Bug #10493: Špatné generování knihovny junit.jupiter v ContractVerifierTest a spouštění všech junitů obecněClosedVáclav Hrabík2023-04-26

Akce
Task #10516: Napsat dokumentaci na kontraktové testyClosedVáclav Hrabík2023-04-26

Akce
Feature #10519: Kontrakty testůClosedVáclav Hrabík2023-04-26

Akce
Akce
Copy link
 #1

Aktualizováno uživatelem Petr Urban před téměř 2 roky(ů)

  • Stav změněn z New na Accepted
Akce
Copy link
 #2

Aktualizováno uživatelem Václav Hrabík před téměř 2 roky(ů)

  • Stav změněn z Accepted na Resolved
Akce
Copy link
 #3

Aktualizováno uživatelem Václav Hrabík před téměř 2 roky(ů)

  • Stav změněn z Resolved na Accepted
Akce
Copy link
 #4

Aktualizováno uživatelem Václav Hrabík před téměř 2 roky(ů)

  • Stav změněn z Accepted na Resolved
Akce
Copy link
 #5

Aktualizováno uživatelem Petr Urban před téměř 2 roky(ů)

  • Stav změněn z Resolved na Closed
Akce
Copy link

Také k dispozici: Atom PDF