文件名称：xalanjava源码-README:自述文件
文件大小：5KB
文件格式：ZIP
更新时间：2024-06-25 18:24:05
系统开源
xalan java源码序列检查 本项目是SeqCheck的一个实现，可以很好的判断一个事件序列是否可以按照指定的顺序发生。 有序序列表示潜在的并发错误。 在这里，我们介绍如何使用 SeqCheck 检测错误。 环境 [必须] Java 8.0、Python 2.7 或更高版本 [推荐] Ubuntu 18.04，Make 4.1，G++ 7.5.0 目录 seqc/ # Base Folder ├── tools # SyncP, M2, SHB, WCP ├── scripts # Scripts Folder │ ├── log.sh # Instrumentation script │ ├── extract.sh # Extracting trace from Traces folder │ ├── trans.sh # Converting trace script │ ├── tool.sh # Running script for SyncP, M2, SHB, WCP │ ├── results.py # Generating table file
【文件预览】：
README-main
----README.md(12KB)