安装过程是按照这个博文来的:
MulVal工具的安装以及配置_comejser的博客-CSDN博客
MulVal工具的安装和配置mulval工具下载和安装说明:http://people.cs.ksu.edu/~xou/argus/software/mulval/readme.html1、安装JDK,配置java环境2、安装gcc(g++,make)3、安装XSB4、安装MulVal5、可能会出现的一些问题6、编译并试验环境运行结果mulval工具下载和安装说明:http://people.c...
https://blog.csdn.net/qq_41172122/article/details/101396446?utm_source=app&app_version=4.15.0
编译mulval的时候报错说缺少graphit.tab.h文件
网上资料很少没找到有人出现过相关问题并有解决办法的,求求万能的csdn大神帮忙解决下