| /dports/math/maxima/maxima-5.43.2/share/fourier_elim/ |
| H A D | rtest_fourier_elim.mac | 25 emptyset$
28 emptyset$
79 emptyset$
85 emptyset$
91 emptyset$
142 'emptyset$
181 'emptyset$
193 'emptyset$
196 'emptyset$
199 'emptyset$
[all …]
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress1/sets/ |
| H A D | setofsets-disequal.smt2 | 11 (assert (not (= S (as emptyset myset))))
14 (assert (not (= S (singleton (as emptyset (Set (_ BitVec 1)))))))
21 (assert (not (= S (union (singleton (as emptyset (Set (_ BitVec 1))))
23 (assert (not (= S (union (singleton (as emptyset (Set (_ BitVec 1))))
25 (assert (not (= S (union (singleton (as emptyset (Set (_ BitVec 1))))
39 (union (singleton (as emptyset (Set (_ BitVec 1))))
43 (union (singleton (as emptyset (Set (_ BitVec 1))))
51 (union (singleton (as emptyset (Set (_ BitVec 1))))
58 (union (singleton (as emptyset (Set (_ BitVec 1))))
|
| /dports/math/gecode/gecode-0916a1a/gecode/set/rel-op/ |
| H A D | post.hpp | 49 EmptyView emptyset; in rel_eq() local
51 ::post(home, x0, x1, emptyset))); in rel_eq()
85 EmptyView emptyset; in rel_sub() local
87 ::post(home, x0, x1, emptyset))); in rel_sub()
126 EmptyView emptyset; in rel_sup() local
128 ::post(home, x0, x1, emptyset))); in rel_sup()
220 EmptyView emptyset; in rel_op_post_nocompl() local
222 ::post(home, z, tmp, emptyset))); in rel_op_post_nocompl()
|
| /dports/math/symengine/symengine-0.8.1/symengine/tests/basic/ |
| H A D | test_sets.cpp | 27 using SymEngine::emptyset;
120 REQUIRE(eq(*r3, *emptyset()));
160 REQUIRE(eq(*r4, *emptyset()));
189 REQUIRE(eq(*emptyset(), *r1->set_intersection(emptyset())));
199 REQUIRE(eq(*r1, *emptyset()));
201 REQUIRE(eq(*r1, *emptyset()));
583 RCP<const Set> e = emptyset();
642 REQUIRE(eq(*r3, *emptyset()));
715 r4 = emptyset();
717 REQUIRE(eq(*r3, *emptyset()));
[all …]
|
| /dports/lang/smalltalk/smalltalk-3.2.5/sigsegv/tests/ |
| H A D | stackoverflow1.c | 83 sigset_t emptyset; in main() local
101 sigemptyset (&emptyset); in main()
102 sigprocmask (SIG_BLOCK, &emptyset, &mainsigset); in main()
|
| H A D | stackoverflow2.c | 111 sigset_t emptyset; in main() local
155 sigemptyset (&emptyset); in main()
156 sigprocmask (SIG_BLOCK, &emptyset, &mainsigset); in main()
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress0/sets/jan30/ |
| H A D | UniqueZipper.hs.fqout.minimized10.smt2 | 10 ; The solver was unable to reason that (emptyset) cannot equal
24 (assert (= (z3f70 z3v90) (union (z3f70 z3v85) (union (as emptyset (Set Int)) (singleton z3v86)))))
26 (assert (= (as emptyset (Set Int)) (z3f70 z3v87)))
|
| /dports/devel/m4/m4-1.4.19/tests/ |
| H A D | test-sigsegv-catch-segv2.c | 86 sigset_t emptyset; in main() local
122 sigemptyset (&emptyset); in main()
123 sigprocmask (SIG_BLOCK, &emptyset, &mainsigset); in main()
|
| H A D | test-sigsegv-catch-stackoverflow1.c | 92 sigset_t emptyset; in main() local
115 sigemptyset (&emptyset); in main()
116 sigprocmask (SIG_BLOCK, &emptyset, &mainsigset); in main()
|
| /dports/devel/libsigsegv/libsigsegv-2.12/tests/ |
| H A D | sigsegv3.c | 87 sigset_t emptyset; in main() local
123 sigemptyset (&emptyset); in main()
124 sigprocmask (SIG_BLOCK, &emptyset, &mainsigset); in main()
|
| H A D | stackoverflow1.c | 93 sigset_t emptyset; in main() local
116 sigemptyset (&emptyset); in main()
117 sigprocmask (SIG_BLOCK, &emptyset, &mainsigset); in main()
|
| /dports/security/pkcs11-tools/pkcs11-tools-2.5.0/.gnulib/tests/ |
| H A D | test-sigsegv-catch-segv2.c | 88 sigset_t emptyset; in main() local
124 sigemptyset (&emptyset); in main()
125 sigprocmask (SIG_BLOCK, &emptyset, &mainsigset); in main()
|
| H A D | test-sigsegv-catch-stackoverflow1.c | 93 sigset_t emptyset; in main() local
116 sigemptyset (&emptyset); in main()
117 sigprocmask (SIG_BLOCK, &emptyset, &mainsigset); in main()
|
| /dports/textproc/gnugrep/grep-3.7/gnulib-tests/ |
| H A D | test-sigsegv-catch-segv2.c | 88 sigset_t emptyset; in main() local
124 sigemptyset (&emptyset); in main()
125 sigprocmask (SIG_BLOCK, &emptyset, &mainsigset); in main()
|
| H A D | test-sigsegv-catch-stackoverflow1.c | 93 sigset_t emptyset; in main() local
116 sigemptyset (&emptyset); in main()
117 sigprocmask (SIG_BLOCK, &emptyset, &mainsigset); in main()
|
| /dports/textproc/diffutils/diffutils-3.8/gnulib-tests/ |
| H A D | test-sigsegv-catch-segv2.c | 88 sigset_t emptyset; in main() local
124 sigemptyset (&emptyset); in main()
125 sigprocmask (SIG_BLOCK, &emptyset, &mainsigset); in main()
|
| H A D | test-sigsegv-catch-stackoverflow1.c | 93 sigset_t emptyset; in main() local
116 sigemptyset (&emptyset); in main()
117 sigprocmask (SIG_BLOCK, &emptyset, &mainsigset); in main()
|
| /dports/lang/mosml/mosml-ver-2.10.1/src/config/auto-aux/ |
| H A D | align.c | 72 sigset_t emptyset; local
73 sigemptyset(&emptyset);
75 sigact.sa_mask = emptyset;
|
| /dports/devel/tinygo/tinygo-0.14.1/lib/compiler-rt/lib/tsan/rtl/ |
| H A D | tsan_platform_linux.cc | 380 __sanitizer_sigset_t emptyset; in cur_thread() local
381 internal_sigfillset(&emptyset); in cur_thread()
383 CHECK_EQ(0, internal_sigprocmask(SIG_SETMASK, &emptyset, &oldset)); in cur_thread()
406 __sanitizer_sigset_t emptyset; in cur_thread_finalize() local
407 internal_sigfillset(&emptyset); in cur_thread_finalize()
409 CHECK_EQ(0, internal_sigprocmask(SIG_SETMASK, &emptyset, &oldset)); in cur_thread_finalize()
|
| /dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/libsanitizer/tsan/ |
| H A D | tsan_platform_linux.cc | 360 __sanitizer_sigset_t emptyset; in cur_thread() local
361 internal_sigfillset(&emptyset); in cur_thread()
363 CHECK_EQ(0, internal_sigprocmask(SIG_SETMASK, &emptyset, &oldset)); in cur_thread()
386 __sanitizer_sigset_t emptyset; in cur_thread_finalize() local
387 internal_sigfillset(&emptyset); in cur_thread_finalize()
389 CHECK_EQ(0, internal_sigprocmask(SIG_SETMASK, &emptyset, &oldset)); in cur_thread_finalize()
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/libsanitizer/tsan/ |
| H A D | tsan_platform_linux.cc | 360 __sanitizer_sigset_t emptyset; in cur_thread() local
361 internal_sigfillset(&emptyset); in cur_thread()
363 CHECK_EQ(0, internal_sigprocmask(SIG_SETMASK, &emptyset, &oldset)); in cur_thread()
386 __sanitizer_sigset_t emptyset; in cur_thread_finalize() local
387 internal_sigfillset(&emptyset); in cur_thread_finalize()
389 CHECK_EQ(0, internal_sigprocmask(SIG_SETMASK, &emptyset, &oldset)); in cur_thread_finalize()
|
| /dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/libsanitizer/tsan/ |
| H A D | tsan_platform_linux.cc | 360 __sanitizer_sigset_t emptyset; in cur_thread() local
361 internal_sigfillset(&emptyset); in cur_thread()
363 CHECK_EQ(0, internal_sigprocmask(SIG_SETMASK, &emptyset, &oldset)); in cur_thread()
386 __sanitizer_sigset_t emptyset; in cur_thread_finalize() local
387 internal_sigfillset(&emptyset); in cur_thread_finalize()
389 CHECK_EQ(0, internal_sigprocmask(SIG_SETMASK, &emptyset, &oldset)); in cur_thread_finalize()
|
| /dports/lang/gcc9-devel/gcc-9-20211007/libsanitizer/tsan/ |
| H A D | tsan_platform_linux.cc | 378 __sanitizer_sigset_t emptyset; in cur_thread() local
379 internal_sigfillset(&emptyset); in cur_thread()
381 CHECK_EQ(0, internal_sigprocmask(SIG_SETMASK, &emptyset, &oldset)); in cur_thread()
404 __sanitizer_sigset_t emptyset; in cur_thread_finalize() local
405 internal_sigfillset(&emptyset); in cur_thread_finalize()
407 CHECK_EQ(0, internal_sigprocmask(SIG_SETMASK, &emptyset, &oldset)); in cur_thread_finalize()
|
| /dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/libsanitizer/tsan/ |
| H A D | tsan_platform_linux.cc | 360 __sanitizer_sigset_t emptyset; in cur_thread() local
361 internal_sigfillset(&emptyset); in cur_thread()
363 CHECK_EQ(0, internal_sigprocmask(SIG_SETMASK, &emptyset, &oldset)); in cur_thread()
386 __sanitizer_sigset_t emptyset; in cur_thread_finalize() local
387 internal_sigfillset(&emptyset); in cur_thread_finalize()
389 CHECK_EQ(0, internal_sigprocmask(SIG_SETMASK, &emptyset, &oldset)); in cur_thread_finalize()
|
| /dports/devel/riscv64-gcc/gcc-8.3.0/libsanitizer/tsan/ |
| H A D | tsan_platform_linux.cc | 360 __sanitizer_sigset_t emptyset; in cur_thread() local
361 internal_sigfillset(&emptyset); in cur_thread()
363 CHECK_EQ(0, internal_sigprocmask(SIG_SETMASK, &emptyset, &oldset)); in cur_thread()
386 __sanitizer_sigset_t emptyset; in cur_thread_finalize() local
387 internal_sigfillset(&emptyset); in cur_thread_finalize()
389 CHECK_EQ(0, internal_sigprocmask(SIG_SETMASK, &emptyset, &oldset)); in cur_thread_finalize()
|