[isabelle] error encountered while parsing in autocorres



?Hi,


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,

Akash



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