Define as Not called by generated main

What is actually polyspace doing when we define a file as not called by generated main. sometimes when i select this the results were same,nothing had changed . how it effects the working of polyspace code prover analysis

thanks in advanvce