external
set_assertion_frequency : int
->
unit =
"icsat_set_assertion_frequency"