在执行其他.exe之后，批处理文件未完全执行

| 我正在尝试创建应该具有以下命令的批处理文件： 
cd \"c:\\Program files\\NuSMV\\2.5.2\\bin\\\"
NuSMV -int short.smv
go
pick_state -r
print_current_state -v
simulate -r 3
show_traces -t
show_traces -v
我遇到的问题是：第二行执行后，NuSMV.exe在cmd中运行，其余命令直到我退出NuSMV才执行，但我想在NuSMV中运行命令3-8。我需要在.bat文件中进行哪些更改。谢谢。     
2020-03-13 3 条评论
分享

没有找到相关结果

    已邀请:

    恋裂

    将命令3-8放在文本文件（例如cmds.txt）中，然后按如下所示运行NuSMV： 
    NuSMV -int short.smv -source cmds.txt
    从手册（nusmv.pdf）第48页：   也可以使NUSMV读取   并执行一系列命令   从文件，通过命令行   选项-source：   系统提示> NuSMV-源cmd文件     
    2020-03-13 0 0
    分享

    良阑纠苫

    完成Vik答案后，您可以在同一BAT文件中创建NUSMV命令文件 
    @echo off
pushd \"c:\\Program files\\NuSMV\\2.5.2\\bin\\\"
echo go >\"%TEMP%\\cmds.txt\"
echo pick_state -r >>\"%TEMP%\\cmds.txt\"
echo print_current_state -v >>\"%TEMP%\\cmds.txt\"
echo simulate -r 3 >>\"%TEMP%\\cmds.txt\"
echo show_traces -t >>\"%TEMP%\\cmds.txt\"
echo show_traces -v >>\"%TEMP%\\cmds.txt\"
NuSMV -int short.smv -source \"%TEMP%\\cmds.txt\"
del \"%TEMP%\\cmds.txt\"
popd
    另外，我建议您不要将当前目录更改为NuSMV目录。编辑PATH，或仅指定NuSMV及其完整路径。在这两种情况下，您都应该从short.smv所在的当前目录中调用BAT.C 
    @echo off
echo go >\"%TEMP%\\cmds.txt\"
echo pick_state -r >>\"%TEMP%\\cmds.txt\"
echo print_current_state -v >>\"%TEMP%\\cmds.txt\"
echo simulate -r 3 >>\"%TEMP%\\cmds.txt\"
echo show_traces -t >>\"%TEMP%\\cmds.txt\"
echo show_traces -v >>\"%TEMP%\\cmds.txt\"
\"c:\\Program files\\NuSMV\\2.5.2\\bin\\NuSMV\" -int short.smv -source \"%TEMP%\\cmds.txt\"
del \"%TEMP%\\cmds.txt\"
        
    2020-03-13 0 0
    分享
    为什么被折叠? 0 个回复被折叠

    要回复问题请先登录或注册

    或代码 OrCode.com 备案号：粤ICP备15020848号-1
    Escape time: 0.034186124801636