Searched refs:SIGINT_exit (Results 1 – 10 of 10) sorted by relevance
| /dports/math/glucose/glucose-syrup-4.1/parallel/ |
| H A D | Main.cc | 80 static void SIGINT_exit(int signum) { in SIGINT_exit() function
127 signal(SIGINT, SIGINT_exit); in main()
128 signal(SIGXCPU,SIGINT_exit); in main()
|
| /dports/math/cvc4/CVC4-1.7/src/prop/bvminisat/core/ |
| H A D | Main.cc | 60 static void SIGINT_exit(int signum) { in SIGINT_exit() function
104 signal(SIGINT, SIGINT_exit); in main()
105 signal(SIGXCPU,SIGINT_exit); in main()
|
| /dports/math/cvc4/CVC4-1.7/src/prop/minisat/core/ |
| H A D | Main.cc | 59 static void SIGINT_exit(int signum) { in SIGINT_exit() function
103 signal(SIGINT, SIGINT_exit); in main()
104 signal(SIGXCPU,SIGINT_exit); in main()
|
| /dports/math/cvc4/CVC4-1.7/src/prop/bvminisat/simp/ |
| H A D | Main.cc | 61 static void SIGINT_exit(int signum) { in SIGINT_exit() function
108 signal(SIGINT, SIGINT_exit); in main()
109 signal(SIGXCPU,SIGINT_exit); in main()
|
| /dports/math/cvc4/CVC4-1.7/src/prop/minisat/simp/ |
| H A D | Main.cc | 63 static void SIGINT_exit(int signum) { in SIGINT_exit() function
109 signal(SIGINT, SIGINT_exit); in main()
110 signal(SIGXCPU,SIGINT_exit); in main()
|
| /dports/math/minisat/minisat-2.2.1/minisat/core/ |
| H A D | Main.cc | 43 static void SIGINT_exit(int) { in SIGINT_exit() function
78 sigTerm(SIGINT_exit); in main()
|
| /dports/math/minisat/minisat-2.2.1/minisat/simp/ |
| H A D | Main.cc | 43 static void SIGINT_exit(int) { in SIGINT_exit() function
82 sigTerm(SIGINT_exit); in main()
|
| /dports/math/glucose/glucose-syrup-4.1/simp/ |
| H A D | Main.cc | 104 static void SIGINT_exit(int signum) { in SIGINT_exit() function
176 signal(SIGINT, SIGINT_exit); in main()
177 signal(SIGXCPU,SIGINT_exit); in main()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat2/ |
| H A D | MainSimp.cpp | 50 static void SIGINT_exit(int signum) { in SIGINT_exit() function
|
| H A D | MainSat.cpp | 59 static void SIGINT_exit(int signum) { in SIGINT_exit() function
|