Searched refs:util_optind (Results 1 – 4 of 4) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/espresso/ |
| H A D | main.c | 38 extern int util_optind;
185 if (util_optind+2 < argc) fatal("trailing arguments on command line");
186 getPLA(util_optind++, argc, argv, option, &PLA, out_type);
187 getPLA(util_optind++, argc, argv, option, &PLA1, out_type);
190 if (util_optind+1 < argc) fatal("trailing arguments on command line");
191 getPLA(util_optind++, argc, argv, option, &PLA, out_type);
194 if (util_optind < argc) fatal("trailing arguments on command line");
|
| H A D | util_old.h | 287 extern int util_optind;
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
| H A D | abcUtil.c | 1526 int util_optind = 0; in Abc_NtkPrepareTwoNtks() local
1530 if ( argc == util_optind ) in Abc_NtkPrepareTwoNtks()
1557 else if ( argc == util_optind + 1 ) in Abc_NtkPrepareTwoNtks()
1565 pNtk2 = Io_Read( argv[util_optind], Io_ReadFileType(argv[util_optind]), fCheck, 0 ); in Abc_NtkPrepareTwoNtks()
1571 else if ( argc == util_optind + 2 ) in Abc_NtkPrepareTwoNtks()
1573 pNtk1 = Io_Read( argv[util_optind], Io_ReadFileType(argv[util_optind]), fCheck, 0 ); in Abc_NtkPrepareTwoNtks()
1576 pNtk2 = Io_Read( argv[util_optind+1], Io_ReadFileType(argv[util_optind+1]), fCheck, 0 ); in Abc_NtkPrepareTwoNtks()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cudd/ |
| H A D | testcudd.c | 242 if (argc - util_optind == 0) { in main()
244 } else if (argc - util_optind == 1) { in main()
245 file = argv[util_optind]; in main()
|