assume              7 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/assume.h #define assume(x) \
assume             14 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/assume.h #define assume(x) __CPROVER_assume(x)