z3log

Documentation

Overview

Package z3log exposes Z3's interaction log.

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

Index

• func Append(text string)
• func Close()
• func Open(filename string) bool

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.