Searched refs:options_maxinvarlevel (Results 1 – 2 of 2) sorted by relevance
293 static int options_invarproc,options_mininvarlevel,options_maxinvarlevel, variable426 options_maxinvarlevel = options.maxinvarlevel; in main()1448 if (options_invarproc != 1 && options_maxinvarlevel > 0) in main()1450 if (options_maxinvarlevel > 1) fprintf(ERRFILE, in main()1579 options.maxinvarlevel = options_maxinvarlevel; in main()1651 options_sg.maxinvarlevel = options_maxinvarlevel; in main()1745 if (mode == DENSE_MODE && options_maxinvarlevel != 0 in main()1757 if (mode == SPARSE_MODE && options_maxinvarlevel != 0 in main()2140 options_maxinvarlevel = getint_sl(INFILE); in main()2156 options_maxinvarlevel = 1; in main()[all …]