Searched refs:notfalsified (Results 1 – 1 of 1) sorted by relevance
934 int notfalsified = 0, i; in main() local943 notfalsified++; in main()944 if (witness && (notfalsified + nfalsified > 1)) printf ("\n"); in main()953 else if (notfalsified) in main()954 msg ("%d assertions not falsified", notfalsified); in main()