MCPcopy Create free account
hub / github.com/Z3Prover/z3 / isOpen

Method isOpen

src/api/java/Log.java:68–71  ·  view source on GitHub ↗

Checks whether the interaction log is opened. @return True if the interaction log is open, false otherwise.

()

Source from the content-addressed store, hash-verified

66 * @return True if the interaction log is open, false otherwise.
67 **/
68 public static boolean isOpen()
69 {
70 return m_is_open;
71 }
72}

Callers 3

mainMethod · 0.95
mainMethod · 0.95
MainMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected