这篇文章是2020年8月22日我在Tsmart项目上的工作报告，这两周的主要工作是整理并理解了VfgSolver的代码，改进了Juliet测试代码，并在测试的帮助下，对VfgSolver相关的代码做一些优化和修补。