Interface KernelContractVerificationResult

interface KernelContractVerificationResult {
    after: KernelContractRunSummary;
    before: KernelContractRunSummary;
    changes: readonly KernelContractDiffChange[];
    summary: { added: number; changed: number; removed: number };
    verdict: KernelContractVerdict;
    version: string;
}

Index

Properties

after before changes summary verdict version

Properties

`Readonly`after

after: KernelContractRunSummary

`Readonly`before

before: KernelContractRunSummary

`Readonly`changes

changes: readonly KernelContractDiffChange[]

`Readonly`summary

summary: { added: number; changed: number; removed: number }

`Readonly`verdict

verdict: KernelContractVerdict

`Readonly`version

version: string

Interface KernelContractVerificationResult

Index

Properties

Properties

`Readonly`after

`Readonly`before

`Readonly`changes

`Readonly`summary

`Readonly`verdict

`Readonly`version

Settings

On This Page

Interface KernelContractVerificationResult

Index

Properties

Properties

Readonlyafter

Readonlybefore

Readonlychanges

Readonlysummary

Readonlyverdict

Readonlyversion

Settings

On This Page

`Readonly`after

`Readonly`before

`Readonly`changes

`Readonly`summary

`Readonly`verdict

`Readonly`version