摘要： 2022-9-19回复消息提问的作答。 互相交流。我三月份前也在学习kissat，好一阵没看其代码，刚才又看了一下，凭回忆记录如下，算是简要分享以下的我早前的阅读流程。 （1）从application.c文件最后的一个如下函数看起。该函数实际是真正的主函数。 int kissat_applicati 阅读全文