KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ

Testy `kret test` i diagnostyka (EXPERIMENTAL)

ADVANCEDRUNNABLE_LOCALKretS

Moduły testowe w `Tests/` (funkcje `test…` bez parametrów i bez wyniku). Porażka = `throw`, pominięcie = `throw "SKIP: …"`. `kret test --list` tylko kompiluje i wypisuje plan, `kret test --json` wykonuje każdy moduł w świeżym, izolowanym procesie pluginu. `kret test` ma status EXPERIMENTAL (`kret-test/1`).

Edycja i zapisane wyniki

Witryna nie wykonuje kodu ani nie prowadzi walidacji SDK. Wyniki poniżej pochodzą z eksportu określonej wersji i przestają opisywać kod po jego zmianie.

Pobierz źródła JSON Otwórz w Playground

Kanoniczne pliki projektu

Plik

1module Main
2
3fn clamp(value: Int, low: Int, high: Int) -> Int {
4    if value < low {
5        return low
6    }
7    if value > high {
8        return high
9    }
10    return value
11}
12
13fn Start() -> Int {
14    return clamp(150, 0, 100)
15}
16
17fn Shutdown() {
18}
19

Czytanie kodu linia po linii

Objaśnienia struktury nie są walidacją semantyczną. Szczegółowy kontrakt opisują referencje i README przykładu.

module MainDeklaracja modułu KretS; porównaj nazwę z nazwą pliku.
Pusta linia oddziela fragmenty źródła.
fn clamp(value: Int, low: Int, high: Int) -> Int {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
if value < low {Sterowanie lub obsługa błędu KretS; szczegóły określa referencja tej konstrukcji.
return lowZwrócenie wartości z funkcji; nie jest zapisem do dziennika.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
if value > high {Sterowanie lub obsługa błędu KretS; szczegóły określa referencja tej konstrukcji.
return highZwrócenie wartości z funkcji; nie jest zapisem do dziennika.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
return valueZwrócenie wartości z funkcji; nie jest zapisem do dziennika.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
fn Start() -> Int {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
return clamp(150, 0, 100)Zwrócenie wartości z funkcji; nie jest zapisem do dziennika.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
fn Shutdown() {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.

Wynik i typowy błąd

Plan zawiera 3 testy; przebieg: 2 × PASS, 1 × SKIP, status `PASSED` (kod 0). `run` zwraca 100.

Na co uważać

Funkcja `testX(x: Int)` z parametrem nie jest testem — dostaje status ERROR. Brak testów albo pusty filtr to `NO_TESTS` (kod 6), który **nie jest sukcesem**.

Wymagania wersji i procedura lokalna

sdk: 1.0.0-rc.3+kret.local.3
sdkInfoReports: 1.0.0-rc.3
core: 1.0.0-test.6.11-draft.1
os: Windows 11 x64
dotnet: .NET 10 runtime

Polecenia poniżej są instrukcją do samodzielnego wykonania z właściwym lokalnym SDK. DATA/OUT muszą wskazywać nowe katalogi testowe. Nie ma przycisku uruchamiania na serwerze.

test-listkret test . --listKatalog: project · Oczekiwany kod wyjścia: 0
test-runkret test . --json --data {DATA} --report {OUT}/report.json --junit {OUT}/junit.xmlKatalog: project · Oczekiwany kod wyjścia: 0
runkret run . --policy host-policy.json --data {DATA}Katalog: project · Oczekiwany kod wyjścia: 0

Wyniki zapisane w pakiecie źródłowym

To dowód z eksportu, nie wynik bieżącego wykonania w przeglądarce.

Plik

1# EXPECTED_OUTPUT — KRETS-A03-TestsAndDiagnostics
2# Rzeczywisty wynik uruchomienia (SDK 1.0.0-rc.3+kret.local.3, 2026-11-01T12:46:38Z). Ścieżki zastąpione znacznikami <project>, <data>, <out>, <sdk>.
3# Actual output of the run. Paths replaced by placeholders.
4
5### 1. test-list  (exit 0, PASS)
6> kret test . --list
7unit/MainTests.testClampInside  <project>\Tests\MainTests.krs(3)
8unit/MainTests.testClampEdges  <project>\Tests\MainTests.krs(9)
9unit/MainTests.testSkippedOnPurpose  <project>\Tests\MainTests.krs(15)
10LISTED: 3 test(ów) — PASS 0, FAIL 0, SKIP 0, NOT_RUN 3, ERROR 0 (0.1 s)
11
12### 2. test-run  (exit 0, PASS)
13> kret test . --json --data {DATA} --report {OUT}/report.json --junit {OUT}/junit.xml
14{"format":"kret-test/1","project":"<project>","status":"PASSED","startedUtc":"2026-11-01T12:46:37.3811211\u002B00:00","durationMs":256.8,"sdkVersion":"1.0.0-rc.3","listOnly":false,"plugin":{"id":"LOCAL-KPL-KSA2TEST","name":"TestsAndDiagnostics","version":"1.0.0"},"policy":"none (no permissions)","isolationRequested":"Restricted","isolation":{"level":"Restricted","jobObject":true,"restrictedToken":true,"lowIntegrity":true,"appContainer":false},"counts":{"total":3,"passed":2,"failed":0,"skipped":1,"notRun":0,"errors":0},"tests":[{"id":"unit/MainTests.testClampInside","category":"unit","module":"MainTests","name":"testClampInside","function":"MainTests.testClampInside","file":"<project>\\Tests\\MainTests.krs","line":3,"column":4,"status":"PASS","durationMs":1.04,"instructions":18,"hostCalls":0},{"id":"unit/MainTests.testClampEdges","category":"unit","module":"MainTests","name":"testClampEdges","function":"MainTests.testClampEdges","file":"<project>\\Tests\\MainTests.krs","line":9,"column":4,"status":"PASS","durationMs":0.61,"instructions":32,"hostCalls":0},{"id":"unit/MainTests.testSkippedOnPurpose","category":"unit","module":"MainTests","name":"testSkippedOnPurpose","function":"MainTests.testSkippedOnPurpose","file":"<project>\\Tests\\MainTests.krs","line":15,"column":4,"status":"SKIP","durationMs":3,"message":"przyk\u0142ad pomini\u0119cia testu","trace":["MainTests.testSkippedOnPurpose (Tests/MainTests.krs:16)"],"instructions":2,"hostCalls":0}],"diagnostics":[]}
15
16### 3. run  (exit 0, PASS)
17> kret run . --policy host-policy.json --data {DATA}
18{
19  "broker": {
20    "pid": 20332,
21    "startupMs": 41.8813,
22    "pluginHostSha256": "93405d128c95234d913efcd6e28fe54073caa0375135a2184290f958e7f7cfe5",
23    "allowProvisionalRisk": false,
24    "memoryIdle": {
25      "managedBytes": 1193256,
26      "allocatedBytes": 1190616,
27      "workingSetBytes": 32575488,
28      "privateBytes": 10162176,
29      "peakWorkingSetBytes": 32575488,
30      "cpuMs": 78.125
31    }
32  },
33  "brokerWithPlugins": {
34    "memory": {
35      "managedBytes": 1500864,
36      "allocatedBytes": 1497840,
37      "workingSetBytes": 38723584,
38      "privateBytes": 13656064,
39      "peakWorkingSetBytes": 38912000,
40      "cpuMs": 125
41    }
42  },
43  "plugins": [
44    {
45      "package": "<project>\\Build",
46      "admitted": true,
47      "startMs": 136.7051,
48      "subject": "LOCAL-KPL-KSA2TEST",
49      "instance": "01a19725-c78e-7094-ac72-80777bbce45a",
50      "pid": 23072,
51      "jobObject": true,
52      "isolation": {
53        "level": "Restricted",
54        "restrictedToken": true,
55        "lowIntegrity": true,
56        "appContainer": false
57      },
58      "limits": {
59        "profile": "standard",
60        "scriptMemoryBytes": 67108864,
61        "processMemoryBytes": 201326592,
62        "cpuPercent": 25,
63        "maxInstructions": 50000000,
64        "clamped": []
65      },
66      "calls": [
67        {
68          "operation": "start",
69          "ok": true,
70          "status": "Completed",
71          "type": "Int64",
72          "value": 100,
73          "brokerMs": 10.8023,
74          "vmMs": 3.3169,
75          "instructions": 15,
76          "hostCalls": 0,
77          "pluginReportedMemory": {
78            "managedBytes": 748056,
79            "allocatedBytes": 745968,
80            "workingSetBytes": 31944704,
81            "privateBytes": 11075584,
82            "peakWorkingSetBytes": 32292864,
83            "cpuMs": 78.125
84          }
85        },
86        {
87          "operation": "shutdown",
88          "ok": true,
89          "status": "Completed",
90          "type": "Unit",
91          "value": null,
92          "brokerMs": 0.4965,
93          "vmMs": 0.0048,
94          "instructions": 1,
95          "hostCalls": 0,
96          "pluginReportedMemory": {
97            "managedBytes": 756280,
98            "allocatedBytes": 754168,
99            "workingSetBytes": 32083968,
100            "privateBytes": 11091968,
101            "peakWorkingSetBytes": 32292864,
102            "cpuMs": 78.125
103          }
104        }
105      ],
106      "processMemoryMeasuredByBroker": {
107        "workingSetBytes": 32071680,
108        "privateBytes": 11091968,
109        "peakWorkingSetBytes": 32292864,
110        "cpuMs": 93.75
111      },
112      "summary": {
113        "exitCode": 0,
114        "killed": false,
115        "hostCalls": 0,
116        "denials": 0,
117        "peakCommitBytes": 11911168,
118        "log": []
119      }
120    }
121  ],
122  "brokerAfterClose": {
123    "memory": {
124      "managedBytes": 567552,
125      "allocatedBytes": 1497840,
126      "workingSetBytes": 39792640,
127      "privateBytes": 14376960,
128      "peakWorkingSetBytes": 39792640,
129      "cpuMs": 140.625
130    }
131  },
132  "audit": {
133    "entries": 10,
134    "denials": 0,
135    "grantsIssued": 0,
136    "denied": []
137  },
138  "exitCode": 0
139}
140
141

Czytanie kodu linia po linii

Objaśnienia struktury nie są walidacją semantyczną. Szczegółowy kontrakt opisują referencje i README przykładu.

# EXPECTED_OUTPUT — KRETS-A03-TestsAndDiagnosticsOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
# Rzeczywisty wynik uruchomienia (SDK 1.0.0-rc.3+kret.local.3, 2026-11-01T12:46:38Z). Ścieżki zastąpione znacznikami <project>, <data>, <out>, <sdk>.Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
# Actual output of the run. Paths replaced by placeholders.Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
Pusta linia oddziela fragmenty źródła.
### 1. test-list (exit 0, PASS)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
> kret test . --listOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
unit/MainTests.testClampInside <project>\Tests\MainTests.krs(3)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
unit/MainTests.testClampEdges <project>\Tests\MainTests.krs(9)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
unit/MainTests.testSkippedOnPurpose <project>\Tests\MainTests.krs(15)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
LISTED: 3 test(ów) — PASS 0, FAIL 0, SKIP 0, NOT_RUN 3, ERROR 0 (0.1 s)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
Pusta linia oddziela fragmenty źródła.
### 2. test-run (exit 0, PASS)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
> kret test . --json --data {DATA} --report {OUT}/report.json --junit {OUT}/junit.xmlOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
{"format":"kret-test/1","project":"<project>","status":"PASSED","startedUtc":"2026-11-01T12:46:37.3811211\u002B00:00","durationMs":256.8,"sdkVersion":"1.0.0-rc.3","listOnly":false,"plugin":{"id":"LOCAL-KPL-KSA2TEST","name":"TestsAndDiagnostics","version":"1.0.0"},"policy":"none (no permissions)","isolationRequested":"Restricted","isolation":{"level":"Restricted","jobObject":true,"restrictedToken":true,"lowIntegrity":true,"appContainer":false},"counts":{"total":3,"passed":2,"failed":0,"skipped":1,"notRun":0,"errors":0},"tests":[{"id":"unit/MainTests.testClampInside","category":"unit","module":"MainTests","name":"testClampInside","function":"MainTests.testClampInside","file":"<project>\\Tests\\MainTests.krs","line":3,"column":4,"status":"PASS","durationMs":1.04,"instructions":18,"hostCalls":0},{"id":"unit/MainTests.testClampEdges","category":"unit","module":"MainTests","name":"testClampEdges","function":"MainTests.testClampEdges","file":"<project>\\Tests\\MainTests.krs","line":9,"column":4,"status":"PASS","durationMs":0.61,"instructions":32,"hostCalls":0},{"id":"unit/MainTests.testSkippedOnPurpose","category":"unit","module":"MainTests","name":"testSkippedOnPurpose","function":"MainTests.testSkippedOnPurpose","file":"<project>\\Tests\\MainTests.krs","line":15,"column":4,"status":"SKIP","durationMs":3,"message":"przyk\u0142ad pomini\u0119cia testu","trace":["MainTests.testSkippedOnPurpose (Tests/MainTests.krs:16)"],"instructions":2,"hostCalls":0}],"diagnostics":[]}Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
Pusta linia oddziela fragmenty źródła.
### 3. run (exit 0, PASS)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
> kret run . --policy host-policy.json --data {DATA}Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"broker": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"pid": 20332,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"startupMs": 41.8813,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"pluginHostSha256": "93405d128c95234d913efcd6e28fe54073caa0375135a2184290f958e7f7cfe5",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allowProvisionalRisk": false,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"memoryIdle": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"managedBytes": 1193256,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allocatedBytes": 1190616,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 32575488,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 10162176,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 32575488,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"cpuMs": 78.125Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"brokerWithPlugins": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"memory": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"managedBytes": 1500864,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allocatedBytes": 1497840,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 38723584,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 13656064,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 38912000,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"cpuMs": 125Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"plugins": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"package": "<project>\\Build",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"admitted": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"startMs": 136.7051,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"subject": "LOCAL-KPL-KSA2TEST",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"instance": "01a19725-c78e-7094-ac72-80777bbce45a",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"pid": 23072,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"jobObject": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"isolation": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"level": "Restricted",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"restrictedToken": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"lowIntegrity": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"appContainer": falsePole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"limits": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"profile": "standard",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"scriptMemoryBytes": 67108864,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"processMemoryBytes": 201326592,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"cpuPercent": 25,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"maxInstructions": 50000000,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"clamped": []Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"calls": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"operation": "start",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"ok": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"status": "Completed",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"type": "Int64",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"value": 100,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"brokerMs": 10.8023,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"vmMs": 3.3169,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"instructions": 15,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"hostCalls": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"pluginReportedMemory": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"managedBytes": 748056,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allocatedBytes": 745968,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 31944704,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 11075584,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 32292864,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"cpuMs": 78.125Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"operation": "shutdown",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"ok": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"status": "Completed",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"type": "Unit",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"value": null,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"brokerMs": 0.4965,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"vmMs": 0.0048,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"instructions": 1,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"hostCalls": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"pluginReportedMemory": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"managedBytes": 756280,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allocatedBytes": 754168,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 32083968,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 11091968,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 32292864,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"cpuMs": 78.125Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
],Zamknięcie struktury otwartej we wcześniejszych liniach.
"processMemoryMeasuredByBroker": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 32071680,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 11091968,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 32292864,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"cpuMs": 93.75Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"summary": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"exitCode": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"killed": false,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"hostCalls": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"denials": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakCommitBytes": 11911168,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"log": []Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
],Zamknięcie struktury otwartej we wcześniejszych liniach.
"brokerAfterClose": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"memory": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"managedBytes": 567552,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allocatedBytes": 1497840,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 39792640,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 14376960,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 39792640,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"cpuMs": 140.625Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"audit": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"entries": 10,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"denials": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"grantsIssued": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"denied": []Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"exitCode": 0Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
Pusta linia oddziela fragmenty źródła.

Diagnostyka i raporty testów

Plik

1null

Czytanie kodu linia po linii

Objaśnienia struktury nie są walidacją semantyczną. Szczegółowy kontrakt opisują referencje i README przykładu.

nullOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.

Pochodzenie i integralność

KRET_LANGUAGE_KRETS.zip:KretS/Examples/ADVANCED_TestsAndDiagnostics/example.json

02_PLAYGROUND/EXAMPLES/KRETS-A03-TestsAndDiagnostics.json
SHA-256 75172B1895066066C0C4B0665607104C079C4EBE2ECC60CF217318815B17379F

Materiały źródłowe do tego tematu

Przeczytaj powiązane rozdziały. Kod i kontrakty zachowano z importu; historia źródeł jest dostępna przy każdym rozdziale.

KRETS-A03-TestsAndDiagnostics — Testy `kret test` i diagnostyka (EXPERIMENTAL)

🇬🇧 English version below.

Pole	Wartość
Technologia	KretS
Poziom	ADVANCED
Klasyfikacja	RUNNABLE_LOCAL — Uruchamialny lokalnie (SDK, izolowany proces pluginu)
Playground	LOCAL_EXECUTE — lokalnie: wykonanie w KretStudio / SDK (publicznie: tylko statycznie)
SDK	1.0.0-rc.3+kret.local.3 (kandydat lokalny, niepodpisany)
Wynik testu	`TEST_RESULTS.json`, rzeczywisty wynik: `EXPECTED_OUTPUT.txt`

Co pokazuje

Moduły testowe w Tests/ (funkcje test… bez parametrów i bez wyniku). Porażka = throw, pominięcie = throw "SKIP: …". kret test --list tylko kompiluje i wypisuje plan, kret test --json wykonuje każdy moduł w świeżym, izolowanym procesie pluginu. kret test ma status EXPERIMENTAL (kret-test/1).

Pliki

Plik
`Script/Main.krs`
`Tests/MainTests.krs`
`host-policy.json`
`plugin.kretl`

Jak uruchomić

Katalog roboczy: katalog tego przykładu. kret oznacza <SDK>\Compiler\kret.exe, kretui-host — <SDK>\UiHost\kretui-host.exe. {DATA} / {OUT} to nowe, puste katalogi poza projektem. Wymagania: REQUIREMENTS.md.

kret test . --list — plan testów (nic nie jest uruchamiane)
kret test . --json --data {DATA} --report {OUT}/report.json --junit {OUT}/junit.xml — wykonanie testów, raport JSON i JUnit
kret run . --policy host-policy.json --data {DATA} — zwykłe uruchomienie (moduły Tests/ nie trafiają do paczki)

Oczekiwany wynik

Plan zawiera 3 testy; przebieg: 2 × PASS, 1 × SKIP, status PASSED (kod 0). run zwraca 100.

Najczęstszy błąd

Funkcja testX(x: Int) z parametrem nie jest testem — dostaje status ERROR. Brak testów albo pusty filtr to NO_TESTS (kod 6), który nie jest sukcesem.

Otwórz cały rozdział ze źródłem →

Zaloguj się na konto użytkownika, aby zapisywać postęp i zakładki. Konta obsługi mogą czytać bez zapisu postępu. Logowanie →

Kanoniczne pliki projektu

Wynik i typowy błąd

Wymagania wersji i procedura lokalna

Wyniki zapisane w pakiecie źródłowym

Materiały źródłowe do tego tematu

KRETS-A03-TestsAndDiagnostics — Testy kret test i diagnostyka (EXPERIMENTAL)

Co pokazuje

Pliki

Jak uruchomić

Oczekiwany wynik

Najczęstszy błąd

Powiązane lekcje

KRETS-A03-TestsAndDiagnostics — Testy `kret test` i diagnostyka (EXPERIMENTAL)