| /dports/devel/yasm/yasm-1.3.0/modules/preprocs/tasm/tests/ |
| H A D | tasm-assume-comment.asm | 1 assume cs:code,ds:code,es:code ; tiny model (CS=DS=ES) label
2 assume ds:code,es:code; close comment label
3 assume fs:code,gs:code label
|
| /dports/games/zhlt/zhlt-3.4/common/ |
| H A D | hlassert.h | 13 #define assume(exp, message) {if (!(exp)) {Log("\n***** ERROR *****\nAssume '%s' failed\n at %s:%d\… macro
18 #define assume(exp, message) {if (!(exp)) {Error("\nAssume '%s' failed\n at %s:%d\n %s\n\n", #exp, … macro
29 #define assume(exp, message) {if (!(exp)) {Log("\n***** ERROR *****\nAssume '%s' failed\n at %s:%d\… macro
34 #define assume(exp, message) {if (!(exp)) {Error("\nAssume '%s' failed\n\n", #exp, __FILE__, __LINE… macro
|
| /dports/multimedia/v4l_compat/linux-5.13-rc2/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/ |
| H A D | assume.h | 7 #define assume(x) \ macro
14 #define assume(x) __CPROVER_assume(x) macro
|
| /dports/multimedia/libv4l/linux-5.13-rc2/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/ |
| H A D | assume.h | 7 #define assume(x) \ macro
14 #define assume(x) __CPROVER_assume(x) macro
|
| /dports/multimedia/v4l-utils/linux-5.13-rc2/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/ |
| H A D | assume.h | 7 #define assume(x) \ macro
14 #define assume(x) __CPROVER_assume(x) macro
|
| /dports/math/pspp/pspp-1.4.1/gl/ |
| H A D | verify.h | 305 # define assume(R) __builtin_assume (R) macro
307 # define assume(R) ((R) ? (void) 0 : __builtin_unreachable ()) macro
309 # define assume(R) __assume (R) macro
314 # define assume(R) ((R) ? (void) 0 : __builtin_trap ()) macro
317 # define assume(R) ((R) ? (void) 0 : /*NOTREACHED*/ (void) 0) macro
|
| /dports/sysutils/cmogstored/cmogstored-1.8.1/lib/ |
| H A D | verify.h | 305 # define assume(R) __builtin_assume (R) macro
307 # define assume(R) ((R) ? (void) 0 : __builtin_unreachable ()) macro
309 # define assume(R) __assume (R) macro
314 # define assume(R) ((R) ? (void) 0 : __builtin_trap ()) macro
317 # define assume(R) ((R) ? (void) 0 : /*NOTREACHED*/ (void) 0) macro
|
| /dports/ftp/lftp/lftp-4.9.2/lib/ |
| H A D | verify.h | 305 # define assume(R) __builtin_assume (R) macro
307 # define assume(R) ((R) ? (void) 0 : __builtin_unreachable ()) macro
309 # define assume(R) __assume (R) macro
314 # define assume(R) ((R) ? (void) 0 : __builtin_trap ()) macro
317 # define assume(R) ((R) ? (void) 0 : /*NOTREACHED*/ (void) 0) macro
|
| /dports/cad/yosys/yosys-yosys-0.12/examples/smtbmc/ |
| H A D | demo2.v | 5 `define assume(_expr_) assume(_expr_) constant
7 `define assume(_expr_) constant
|
| /dports/math/clasp/clasp-3.3.5/tests/ |
| H A D | weight_constraint_test.cpp | 42 static bool checkPropagate(Solver& solver, LitVec& assume, const LitVec& expect) { in checkPropagate()
115 LitVec assume, expect; variable
145 LitVec assume; variable
190 LitVec assume, reason; variable
461 LitVec assume, expect; variable
541 LitVec assume; variable
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/liblouis/src/gnulib/ |
| H A D | verify.h | 270 # define assume(R) ((R) ? (void) 0 : __builtin_unreachable ()) macro
272 # define assume(R) __assume (R) macro
279 # define assume(R) ((R) ? (void) 0 : __builtin_trap ()) macro
282 # define assume(R) ((R) ? (void) 0 : /*NOTREACHED*/ (void) 0) macro
|
| /dports/archivers/sharutils/sharutils-4.15.2/intl/ |
| H A D | verify.h | 263 # define assume(R) ((R) ? (void) 0 : __builtin_unreachable ()) macro
265 # define assume(R) __assume (R) macro
272 # define assume(R) ((R) ? (void) 0 : __builtin_trap ()) macro
274 # define assume(R) ((void) (0 && (R))) macro
|
| /dports/archivers/sharutils/sharutils-4.15.2/lib/ |
| H A D | verify.h | 263 # define assume(R) ((R) ? (void) 0 : __builtin_unreachable ()) macro
265 # define assume(R) __assume (R) macro
272 # define assume(R) ((R) ? (void) 0 : __builtin_trap ()) macro
274 # define assume(R) ((void) (0 && (R))) macro
|
| /dports/games/freedink-engine/freedink-108.4/gnulib/lib/ |
| H A D | verify.h | 263 # define assume(R) ((R) ? (void) 0 : __builtin_unreachable ()) macro
265 # define assume(R) __assume (R) macro
272 # define assume(R) ((R) ? (void) 0 : __builtin_trap ()) macro
274 # define assume(R) ((void) (0 && (R))) macro
|
| /dports/archivers/lbzip2/lbzip2-2.5/lib/ |
| H A D | verify.h | 263 # define assume(R) ((R) ? (void) 0 : __builtin_unreachable ()) macro
265 # define assume(R) __assume (R) macro
272 # define assume(R) ((R) ? (void) 0 : __builtin_trap ()) macro
274 # define assume(R) ((void) (0 && (R))) macro
|
| /dports/archivers/gcpio/cpio-2.13/gnu/ |
| H A D | verify.h | 263 # define assume(R) ((R) ? (void) 0 : __builtin_unreachable ()) macro
265 # define assume(R) __assume (R) macro
272 # define assume(R) ((R) ? (void) 0 : __builtin_trap ()) macro
274 # define assume(R) ((void) (0 && (R))) macro
|
| /dports/cad/pcb/pcb-4.2.0/intl/ |
| H A D | verify.h | 263 # define assume(R) ((R) ? (void) 0 : __builtin_unreachable ()) macro
265 # define assume(R) __assume (R) macro
272 # define assume(R) ((R) ? (void) 0 : __builtin_trap ()) macro
274 # define assume(R) ((void) (0 && (R))) macro
|
| /dports/security/ccrypt/ccrypt-1.11/intl/ |
| H A D | verify.h | 263 # define assume(R) ((R) ? (void) 0 : __builtin_unreachable ()) macro
265 # define assume(R) __assume (R) macro
272 # define assume(R) ((R) ? (void) 0 : __builtin_trap ()) macro
274 # define assume(R) ((void) (0 && (R))) macro
|
| /dports/mail/mailutils/mailutils-3.13/lib/gnu/ |
| H A D | verify.h | 263 # define assume(R) ((R) ? (void) 0 : __builtin_unreachable ()) macro
265 # define assume(R) __assume (R) macro
272 # define assume(R) ((R) ? (void) 0 : __builtin_trap ()) macro
274 # define assume(R) ((void) (0 && (R))) macro
|
| /dports/net-mgmt/nagios-plugins/nagios-plugins-2.3.3/gl/ |
| H A D | verify.h | 263 # define assume(R) ((R) ? (void) 0 : __builtin_unreachable ()) macro
265 # define assume(R) __assume (R) macro
272 # define assume(R) ((R) ? (void) 0 : __builtin_trap ()) macro
274 # define assume(R) ((void) (0 && (R))) macro
|
| /dports/security/libpreludedb/libpreludedb-1.2.6/libmissing/ |
| H A D | verify.h | 263 # define assume(R) ((R) ? (void) 0 : __builtin_unreachable ()) macro
265 # define assume(R) __assume (R) macro
272 # define assume(R) ((R) ? (void) 0 : __builtin_trap ()) macro
274 # define assume(R) ((void) (0 && (R))) macro
|
| /dports/security/libprelude/libprelude-1.2.6/libmissing/ |
| H A D | verify.h | 263 # define assume(R) ((R) ? (void) 0 : __builtin_unreachable ()) macro
265 # define assume(R) __assume (R) macro
272 # define assume(R) ((R) ? (void) 0 : __builtin_trap ()) macro
274 # define assume(R) ((void) (0 && (R))) macro
|
| /dports/mail/anubis/anubis-4.2/lib/ |
| H A D | verify.h | 263 # define assume(R) ((R) ? (void) 0 : __builtin_unreachable ()) macro
265 # define assume(R) __assume (R) macro
272 # define assume(R) ((R) ? (void) 0 : __builtin_trap ()) macro
274 # define assume(R) ((void) (0 && (R))) macro
|
| /dports/cad/gerbv/gerbv-2.7.0/intl/ |
| H A D | verify.h | 263 # define assume(R) ((R) ? (void) 0 : __builtin_unreachable ()) macro
265 # define assume(R) __assume (R) macro
272 # define assume(R) ((R) ? (void) 0 : __builtin_trap ()) macro
274 # define assume(R) ((void) (0 && (R))) macro
|
| /dports/deskutils/gcal/gcal-4.1/lib/ |
| H A D | verify.h | 263 # define assume(R) ((R) ? (void) 0 : __builtin_unreachable ()) macro
265 # define assume(R) __assume (R) macro
272 # define assume(R) ((R) ? (void) 0 : __builtin_trap ()) macro
274 # define assume(R) ((void) (0 && (R))) macro
|