

MaxCore parameters: [sabu=yes,dropoutputvars=yes]

Selected extra parameters: [cost_model=termination,enable_sabu=yes,output_vars_crs_file=no]
veryMaxRA: LLVMGraph.cpp:2501: void LLVMGraph::preprocessLLVMCode(std::set<std::basic_string<char> >&, const FuncParamsMap&): Assertion `lt.second.size()<=2' failed.
Aborted (core dumped)

Generated TS from C program in 116 ms

*** ERROR: veryMaxRA finished with code 134***
@@@ crs_time = 0.117
@@@ cofloco_time = 0
@@@ cofloco_ub = inf-verymax
