menu
z3 package
documentation
z3_ffi.dart
Z3Lib
enable_assertions method
enable_assertions method
dark_mode
light_mode
enable_assertions
method
void
enable_assertions
(
bool
f
)
Implementation
void enable_assertions( bool f, ) { return _enable_assertions( f, ); }
z3 package
documentation
z3_ffi
Z3Lib
enable_assertions method
Z3Lib class