package
Version:
v0.0.0-...-f39ad0c
Opens a new window with list of versions in this module.
Published: Jun 23, 2023
License: BSD-3-Clause, GPL-2.0
Opens a new window with license information.
Imports: 2
Opens a new window with list of imports.
Imported by: 0
Opens a new window with list of known importers.
Documentation
¶
Package z3log exposes Z3's interaction log.
The interaction log is a low-level trace of all Z3 API calls.
Append emits text to the Z3 interaction log.
Close closes the Z3 interaction log file.
Open creates a Z3 interaction log in a file called filename.
It returns false if it fails to open the log.
Source Files
¶
Click to show internal directories.
Click to hide internal directories.