rendezvous/heatstroke.types.ts at master · stacks-network/rendezvous · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
import type { ContractInterfaceFunction } from "@stacks/clarinet-sdk-wasm";

export interface RunDetails {
  failed: boolean;
  counterexample: CounterExample[];
  numRuns: number;
  seed: number;
  path?: string;
  error?: Error;
  errorInstance?: Error;
}

type CounterExample = TestCounterExample | InvariantCounterExample;

export interface TestCounterExample {
  rendezvousContractId: string;
  selectedTestFunction: ContractInterfaceFunction;
  functionArgs: any;
  testCaller: [string, string];
}

export interface InvariantCounterExample {
  rendezvousContractId: string;
  selectedFunctions: ContractInterfaceFunction[];
  selectedFunctionsArgsList: any[];
  sutCallers: [string, string][];
  selectedInvariant: ContractInterfaceFunction;
  invariantArgs: any;
  invariantCaller: [string, string];
}

interface SutFunctionStatistics {
  successful: Map<string, number>;
  failed: Map<string, number>;
}

interface InvariantFunctionStatistics {
  successful: Map<string, number>;
  failed: Map<string, number>;
}

interface TestFunctionStatistics {
  successful: Map<string, number>;
  discarded: Map<string, number>;
  failed: Map<string, number>;
}

export interface Statistics {
  sut?: SutFunctionStatistics;
  invariant?: InvariantFunctionStatistics;
  test?: TestFunctionStatistics;
}

/**
 * Options for configuring tree statistics reporting.
 */
export interface StatisticsTreeOptions {
  isLastSection?: boolean;
  baseIndent?: string;
}