ProofScriptResult (Averest) | Averest

ProofScriptResult Type

Namespace: Averest.Analysis
Assembly: Averest.dll
Parent Module: ProofTactics
Base Type: obj
All Interfaces: IEquatable<ProofScriptResult> , IStructuralEquatable , IComparable<ProofScriptResult> , IComparable , IStructuralComparable

result of running a proof script (generated by CheckProofScript)

Record fields

Record Field	Description
`DurationMs` Full Usage: `DurationMs` Field type: `int64`	Field type: `int64`
`FileName` Full Usage: `FileName` Field type: `string`	Field type: `string`
`Proved` Full Usage: `Proved` Field type: `bool`	Field type: `bool`
`ScriptPath` Full Usage: `ScriptPath` Field type: `string`	Field type: `string`
`StdErr` Full Usage: `StdErr` Field type: `string`	Field type: `string`
`StdOut` Full Usage: `StdOut` Field type: `string`	Field type: `string`

Instance members

Instance member	Description
`this.TotalProofTreeSize` Full Usage: `this.TotalProofTreeSize` Returns: `int`	computes the total proof tree size across all proof steps in StdOut Returns: `int`