我希望能够在Specman测试中为日志文件指定文件名。我需要对主要的* .elog文件名进行硬编码，以便在测试之间不会产生差异，也不会混淆后处理脚本。我可以传递给Specman的约束或者命令行吗？

解决方案

我们可以使用switch -log来控制* .elog文件名。

我们还可以使用specman命令" set log"或者使用以下代码。

extend sys
{
     run() is also {
          specman("set log specman.elog");
     };
};