Jarvis_WinSAT v0.1.1

Jarvis_WinSAT is a simple command line utility used by Jarvis for running WinSAT quickly. Unlike Jarvis, Jarvis_WinSAT is architecture specific, so be sure to download the version that corresponds to your operating system's architecture. If unsure, Jarvis can download the proper version of WinSAT for you.

Changelog

• Starts minimized when run externally and starts WinSAT minimized

  Command List

  Jarvis_WinSAT is run via the command line, either by cding to the proper directory or having Jarvis take care of things. Here is a list of command line options

• -help displays a help dialog of the available commands

• -prepop runs the winsat prepop tool, and then outputs to a file (output.sat)

• -formal runs the winsat formal tool, and then outputs to a file (output.sat)

• -prepop_formal runs the winsat prepop tool and then winsat formal. afterwards, it's output to a file (output.sat)