program postcondition

• 程序路径

program postcondition的用法和样例：

例句

1. The application path must point to a valid Program or Shortcut file.
   程序程序路径必须指定有效的程序或快捷方式文件。