PurifyPrintf example

#include <stdio.h>

#include "pure.h"

 

void main()

{

    printf("PurifyIsRunning() returned %d\n", PurifyIsRunning());

    PurePrintf("PurePrintf(): A couple of numbers: %f %d\n", 3.23, 4);

    PurifyPrintf("Another number: %d\n", 10);

    return;

}

(C) Copyright IBM Corporation 1992, 2010.