Module: Z3

Defined in:

lib/udb/z3.rb,
lib/udb/z3.rb

Overview

Patch Z3::AST#ast_kind to use a constant hash instead of allocating a new one on every call

Defined Under Namespace

Classes: AST, Solver