2023年2月17日
maven-compiler-plugin检查不通过
摘要： mvn package -DskipTests 报错： [INFO] BUILD FAILURE[INFO] [INFO] Total time: 5.311 s[INFO] Finished at: 2023-02-17T11:00:47+08:00[INFO] [ERROR] Failed to 阅读全文
posted @ 2023-02-17 11:03 机智蛋 阅读(84) 评论(0) 推荐(0)
2022年4月24日
z3-java安装
摘要： https://www.ucloud.cn/yun/10716.html git clone https://github.com/Z3Prover/z3.git cd Z3 ## 使用 --java 选项生成 Java Bindings python scripts/mk_make.py --ja 阅读全文
posted @ 2022-04-24 19:34 机智蛋 阅读(382) 评论(0) 推荐(0)
2022年2月6日
nsdi'18-netcomplete-synet安装
摘要： netcomplete用于network configuration synthesis，可在给定requirement下，补齐configs（可以是 空/非空 的templates） 原文/介绍：https://netcomplete.ethz.ch/ 源码：https://github.com/ 阅读全文
posted @ 2022-02-06 17:30 机智蛋 阅读(333) 评论(0) 推荐(0)