z3log

package
v0.0.0-...-f39ad0c Latest Latest
Warning

This package is not in the latest version of its module.

Go to latest
Published: Jun 23, 2023 License: BSD-3-Clause, GPL-2.0 Imports: 2 Imported by: 0

Documentation

Overview

Package z3log exposes Z3's interaction log.

The interaction log is a low-level trace of all Z3 API calls.

Index

Constants

This section is empty.

Variables

This section is empty.

Functions

func Append

func Append(text string)

Append emits text to the Z3 interaction log.

func Close

func Close()

Close closes the Z3 interaction log file.

func Open

func Open(filename string) bool

Open creates a Z3 interaction log in a file called filename.

It returns false if it fails to open the log.

Types

This section is empty.

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL