Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Published by Scroll Versions from space INSDEVEL and version 2021.1

...

On Windows, run your compilation and link commands as you normally would but replace your compiler command with the insure command:

insure <OPTIONS> <OUTPUT_FILE> <INPUT_FILE> 

On Windows systems, the the compiler is always cl (Microsoft's compiler), so there is no need to include cl as part of the command.

In For example, the following example, Insure++ is command could be used to compile and link the the hello.c example into hello.obj:

cl /c /Zi /EHsc hello.c 

To compile with Insure++, replace the compiler command with insure:

insure -o -c hello hello.c/c /Zi /EHsc hello.c 

Similarly, you can link .obj files into an .exe file by replacing link command with inslink:

inslink /debug hello.exe 

On Unix systems, the simplest way to compile and link source code with Insure++ is to prepend your normal compile and link command lines with the insure command. The following table shows some examples for Unix systems:

...

If necessary, you can use the following options with Insure++:

OptionDescription
-ZcovCompiles and links for code coverage. No error checking is performed.
-Zoi <OPTION>Runs Insure++ with a specific option. Refer to the Configuration Options (psrc) section for available options.
-Zop <FILE>Runs Insure++ with a specific .psrc file. Refer to the Configuration Options (psrc) section for additional information about .psrc files.
-ZslRuns Insure++ in safe link mode, which may be necessary on some platforms. Insure++ will print a message to the console indicating when safe link mode is necessary.