运行不同文件的命令并存储输出结果

Question

我的计算机中有很多文件，我需要运行带有一些命令的程序才能评估这些文件并获得一些结果。用于评估其中一个文件的命令是这样的：

./abc
abc 01> read_verilog myfile1.v
abc 02> sat
abc 03> quit

运行＆＃34; sat＆＃34;命令，一些结果将显示在终端中，我需要将它们存储在.txt文件中。 我编写了一个脚本来运行这个命令（下面）1000个文件，但我的问题是我无法存储＆＃34; sat＆＃34;所有这些文件的命令。

  #!/bin/bash
# since Bash v4
for i in {1..1000..1}
do
    ./abc <<EOF
    read_verilog "myfile$i.v"
    sat
    quit
    EOF
done

Answer 1

您可以将here-doc的输出写入目标输出文件，如下所示

./abc <<EOF > /tmp/outputfile"${i}".txt
read_verilog "myfile$i.v"
sat
quit
EOF

目标输出路径可以是任何内容，基本上不在/tmp之下，只能是outputfile"${i}".txt