PAT: Process Analysis Toolkit

An Enhanced Simulator, Model Checker and Refinement Checker for Concurrent and Real-time Systems

Launch PAT after installation option is added.

By following Aaron Stebner’s WebLog, we allow user to launch PAT after installation. We have updated the script to make it better.

  • Download this script.
  • To include this script as a post-build step in a Visual Studio setup/deployment project, you can use the following steps:

0 Download the sample script and extract the contents to the directory that contains the Visual Studio setup project you are working on.
Note: You should end up with the file EnableLaunchApplication.js in the same directory as the .vdproj file for your setup project. The rest of these steps will not work correctly if you do not put EnableLaunchApplication.js in the correct location, so be careful about this step.

1 Open the file EnableLaunchApplication.js in a text editor such as notepad, locate the variable at the top of the file that is set to the value WindowsApplication1.exe, and change it to the name of the EXE that is in your setup that you want to launch when the MSI is done installing
2 Open the project in Visual Studio
3 Press F4 to display the Properties window
4 Click on the name of your setup/deployment project in the Solution Explorer
5 Click on the PostBuildEvent item in the Properties window to cause a button labeled “…” to appear
6 Click on the “…” button to display the Post-build Event Command Line dialog
7 Copy and paste the following command line into the Post-build event command line text box:
cscript.exe “$(ProjectDir)EnableLaunchApplication.js” “$(BuiltOuputPath)”
8 Save your project, Build your project in Visual Studio