menu
z3 package
documentation
z3_ffi.dart
Z3Lib
assertions_enabled method
assertions_enabled method
dark_mode
light_mode
assertions_enabled
method
bool
assertions_enabled
(
)
Implementation
bool assertions_enabled() { return _assertions_enabled(); }
z3 package
documentation
z3_ffi
Z3Lib
assertions_enabled method
Z3Lib class