FLACK: Counterexample-Guided Fault Localization for Alloy Models

Replication package for FLACK in ICSE21<br>Each component in /flack/ directory:<br>/benchmark/alloy/ : Alloy models from AlloyFL/benchmark/large/ : large real-world Alloy models/src/alloy/ : modified Alloy by adding Pardinus to KodKod/src/flack/ : source code of FLACK/libs/ : sat solvers libraries<br>Running instruction:(1) Docker 1. docker build -t flack . 2. docker run -it flack 3. java -cp ./libs/*:./target/flack-1.0-with-dependencies.jar -f benchmark/alloy/addr1.als -m 5(2) Build from source 1. Install Java8 and Maven 2. mvn clean package 3. java -cp ./libs/*:./target/flack-1.0-with-dependencies.jar -f benchmark/alloy/addr1.als -m 5 <br>ICSE 21中FLACK的复现包 /flack/ 目录下包含如下组件： /benchmark/alloy/：存储源自AlloyFL/benchmark/large/的大型真实场景Alloy模型 /src/alloy/：经过修改的Alloy版本，将Pardinus集成至KodKod中 /src/flack/：FLACK的源代码 /libs/：SAT求解器库 运行指南： (1) Docker部署方式 1. 构建镜像：docker build -t flack . 2. 启动交互式容器：docker run -it flack 3. 执行运行命令：java -cp ./libs/*:./target/flack-1.0-with-dependencies.jar -f benchmark/alloy/addr1.als -m 5 (2) 源码编译方式 1. 安装Java 8与Maven 2. 执行打包命令：mvn clean package 3. 执行运行命令：java -cp ./libs/*:./target/flack-1.0-with-dependencies.jar -f benchmark/alloy/addr1.als -m 5