From 97b3aa48a8d6ccdf2a3ce587bf8ac130c00c1b64 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Sun, 22 Oct 2023 15:28:31 +0200 Subject: Generated tests for transformations --- utils/gentranstests.sh | 34 ++++++++++++++++++++++++++++++++++ 1 file changed, 34 insertions(+) create mode 100755 utils/gentranstests.sh (limited to 'utils') diff --git a/utils/gentranstests.sh b/utils/gentranstests.sh new file mode 100755 index 0000000..0186480 --- /dev/null +++ b/utils/gentranstests.sh @@ -0,0 +1,34 @@ +#!/bin/sh + +outdir=${1:-"../test/05_transform"} + +mkdir -p "$outdir" +i=100 + +while read -r line; do + [ -z "$line" ] && continue + + trans_piece="$(echo $line | awk '{print $1}' | tr -d 'rm')" + move1="$(echo $line | awk '{print $2}')" + move2="$(echo $line | awk '{print $3}')" + + rotation="rotation $trans_piece" + + file1="$(ls | grep move_*_${move1}.txt)" + file2="$(ls | grep move_*_${move2}.txt)" + echo "$rotation" >"$outdir/${i}_${trans_piece}r_${move1}.in" + cat "$file1" >>"$outdir/${i}_${trans_piece}r_${move1}.in" + cp "$file2" "$outdir/${i}_${trans_piece}r_${move1}.out" + + i=$((i+1)) + + mirrored="mirrored $trans_piece" + + file1="$(ls | grep move_*_${move1}.txt)" + file2="$(ls | grep move_*_${move2}.txt)" + echo "$mirrored" >"$outdir/${i}_${trans_piece}m_${move1}.in" + cat "$file1" >>"$outdir/${i}_${trans_piece}m_${move1}.in" + cp "$file2" "$outdir/${i}_${trans_piece}m_${move1}.out" + + i=$((i+1)) +done