求助关于Formality的问题

新装了2013版和2014版的formality，在14版dc综合完之后使用14版fm，读完container i之后程序会出错退出。
换用13版fm，读取14版dc生成的svf文件又会报错。
在将dc换成13版之后，第一次跑13版的fm成功，换14版的fm仍然会出错退出，再次换回13版fm，居然出现跟14版一样的错误退出，再也回不到第一次跑13版的成功状态了。
求大牛们指点迷津。

通常svf必须低于formal的版本，否则没法读入，
你就13版的dc + 13 or 14的fm 就行了，
set_svf 那里有指示的，是否读入