/bat0/stac/Code/icra/WALi-OpenNWA/../icra -cra_newton_basic -cra-split-loops

Passing command-line option -cra-split-loops to duet.
/bat0/stac/Code/icra/WALi-OpenNWA/Examples/cprover/tests/c4b_print_hull/PH_speed_pldi09_fig4_5.c:27: Error: Cannot resolve variable __hwm.
/bat0/stac/Code/icra/WALi-OpenNWA/Examples/cprover/tests/c4b_print_hull/PH_speed_pldi09_fig4_5.c:27: Warning: Body of function run falls-through. Adding a return statement