Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/Z3Prover/z3
/ close
Method
close
src/api/java/Log.java:45–49 ·
view source on GitHub ↗
Closes the interaction log.
()
Source
from the content-addressed store, hash-verified
43
* Closes the interaction log.
44
**/
45
public
static
void
close()
46
{
47
m_is_open = false;
48
Native.closeLog();
49
}
50
51
/**
52
* Appends the user-provided string {@code s} to the interaction
Callers
15
main
Method · 0.95
main
Method · 0.95
parse
Function · 0.45
read_datalog
Function · 0.45
execute
Method · 0.45
display_bounds_in_smtlib
Method · 0.45
display_lemma_as_smt_problem
Method · 0.45
dump_benchmark
Method · 0.45
tst_expr_arith
Function · 0.45
tst_expr_rand
Function · 0.45
build_instance
Function · 0.45
read
Method · 0.45
Calls
no outgoing calls
Tested by
4
tst_expr_arith
Function · 0.36
tst_expr_rand
Function · 0.36
build_instance
Function · 0.36
read
Method · 0.36