#!/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."