Why Go
- Case Studies
  
  Common problems companies solve with Go
- Use Cases
  
  Stories about how and why companies use Go
- Security Policy
  
  How Go can help keep you secure by default
Learn
Docs
- Effective Go
  
  Tips for writing clear, performant, and idiomatic Go code
- Go User Manual
  
  A complete introduction to building software with Go
- Standard library
  
  Reference documentation for Go's standard library
- Release Notes
  
  Learn what's new in each Go release
Packages
Community
- Recorded Talks
  
  Videos from prior events
- Meetups
  
  Meet other local Go developers
- Conferences
  
  Learn and network with Go developers from around the world
- Go blog
  
  The Go project's official blog.
- Go project
  
  Get help and stay informed from Go
- Get connected

z3log

package

v0.0.0-...-67e7adf Latest Latest Go to latest Published: Feb 17, 2024 License: BSD-3-Clause Imports: 2 Imported by: 0

Details

Valid go.mod file

The Go module system was introduced in Go 1.11 and is the official dependency management solution for Go.
Redistributable license

Redistributable licenses place minimal restrictions on how software can be used, modified, and redistributed.
Tagged version

Modules with tagged versions give importers more predictable builds.
Stable version

When a project reaches major version v1 it is considered stable.
Learn more about best practices

Repository

github.com/Brandhoej/go-z3

Links

Open Source Insights

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

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.

Source Files ¶

View all Source files

log.go