Function main

test/core/test_exceptions_simplify_cfg.cpp:38–40

}

int main( int argc, char* argv[] ) {
  runtest();
}