Batfish相关

maven版本

# 例如minesweeper版本

git clone -b minesweeper-ibgp-new https://github.com/batfish/batfish.git

1. 编译项目

mvn -f project/pom.xml package

2. launch.json

{
　　"type": "java",
　　"name": "Launch allinone1",
　　"request": "launch",
　　"mainClass": "org.batfish.allinone.Main",
　　"projectName": "allinone",
　　"args": [
　　　　"-coordinatorargs",
　　　　"-templatedirs questions",
　　　　"-runmode", "interactive"
　　]         
}

# minesweeper加^P的位置

【minesweeper模块下smt文件PropertyChecker的checkProperty函数的判断hasCounterExample过程，Steam计算每个EncoderSlice的Property，最后有Encoder.add(Not(allProp))】

Bazel版本

1. 安装bazel和bazelisk

# 待补充

2. 编译【要用jdk11，8会报错】

bazel build //projects/allinone:allinone_main

3. 运行

./bazel-bin/projects/allinone/allinone_main -runclient false -coordinatorargs "-templatedirs questions" -runclient false -coordinatorargs "-templatedirs questions"

4. 其余说明看batfish/docs里的MD文件

# 看MD文件按 Ctrl+Shift+V

 

 Debug提示找不到主类

前情提要：运行命令 mvn package -DskipTests （跳过test阶段）

解决方法：maven刷新一下