Searched refs:options_schreier (Results 1 – 2 of 2) sorted by relevance
432 options_schreier = SCHREIER_DEFAULT; in main()599 options_schreier = 0; in main()610 options_schreier = i; in main()1583 if (options_schreier > 0) in main()1584 schreier_fails(options_schreier); in main()1656 if (options_schreier > 0) in main()1657 schreier_fails(options_schreier); in main()2224 options_schreier = 0; in main()2237 options_schreier = i; in main()2338 if (options_schreier > 0) in main()[all …]