18 lines
422 B
Bash
Executable File
18 lines
422 B
Bash
Executable File
#!/bin/bash
|
|
# 检查 traces 目录下所有 trace 文件是否可以运行
|
|
TRACE_DIR="traces"
|
|
TRACE_LIST="TRACE_LIST.txt"
|
|
|
|
# 清空 TRACE_LIST.txt
|
|
> "$TRACE_LIST"
|
|
|
|
# 遍历所有 .rep 文件
|
|
for trace in "$TRACE_DIR"/*.rep; do
|
|
echo "Testing $trace..."
|
|
if ./malloc -f "$trace" > /dev/null 2>&1; then
|
|
echo "$(basename "$trace")" >> "$TRACE_LIST"
|
|
fi
|
|
done
|
|
|
|
echo "Updated $TRACE_LIST with runnable traces."
|