[isabelle] error encountered while parsing in autocorres


I was trying to parse my function in isabelle. The c-parser was able to parse it without issue, however autocorres spit out an "TRACE_SOLVE_TAC_FAIL" exception. What does this error mean and how would I go about debugging it?

Note : The function that failed is pretty complex and hence I didn't include it.

Thanks and Regards,


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.