mirror of
https://github.com/erg-lang/erg.git
synced 2025-07-17 01:55:22 +00:00
13 lines
213 B
Python
13 lines
213 B
Python
.TestResults: ClassType
|
|
.TestResults.
|
|
attempted: Nat
|
|
count: Nat
|
|
failed: Nat
|
|
index: Nat
|
|
|
|
.testfile!: (
|
|
filename := PathLike,
|
|
) => .TestResults
|
|
.testmod!: (
|
|
m := GenericModule,
|
|
) => NoneType
|