path: root/unit-tests/runzchaff.sh

#!/bin/bash

count=1
i=$1
file=$(echo "$i" | sed "s/.cnf/.zlog/")

zchaff $i
mv resolve_trace $file