Submit and vote on feature ideas.

Welcome to the new Parasoft forums! We hope you will enjoy the site and try out some of the new features, like sharing an idea you may have for one of our products or following a category.

How to create an Insure++ log file

Billy McMullin
Billy McMullin Posts: 64 admin
edited December 2016 in Insure++

This post will provide instructions for creating an Insure++ log file when debugging issues with Insure++.

When you run into an issue with Insure++, whether it is displaying an Insure++ Violation or if the instrumentation failed for some reason, it is beneficial to create an Insure++ log file from the run to determine the cause of the behavior. It is important to reproduce the behavior when creating the Insure++ log. If it is possible to isolate the behavior to one file or make it small then please do that because this will make reviewing the Insure++ log file easier to determining the cause of the behavior. In order to create an Insure++ log file, there are two ways:

  1. From the GUI:

    LINUX
    You can create an Insure++ log by adding the following property to the .psrc file located in your Insure++ install directory:
    insure++.verbosity 4

WINDOWS
You can create an Insure++ log by adding the following property to the Insure++ control panel inside your Visual Studio:
verbosity 4

  1. From Command Line:
    You can create an Insure++ log by adding the following command line arguments to then end of your build command:
    -Zvm -Zvm -Zvm -Zvm

NOTE: You have to add all the "-Zvm" just as are. This option will work on all Operating systems with Insure++. You will see in the output that an Insure++ log is made. When making the Insure++ log, please make sure you reproduce the behavior so the Insure log can properly capture the information from Insure++.

The Insure++ log file will be created in the Project's root folder. There are additional Insure++ properties that you can configure for the Insure++ log file. They are located in the Insure++ Documentation.