Module script

HSmt 2 scripts.

Modules

build

Builds a script from a script AST.

frame

Frame stuff.

Structs

CheckSatRes

A check sat result.

Script

A script is a sequence of Commands and a meta-environment.

Enums

CheckSatResEnum

A check sat result.

CurrentCmd

Current command.

Outcome

Result of running a script.

QueryRes

A query result.

Step

A step result.

Type Aliases

CurrCmd

Alias for a script’s current command.