SRI-CSL/yices2

Tests fail to compile: no member named 'nelems' in 'struct term_table_s'

Closed this issue · 0 comments

=== Building tests ===
gmake[2]: Entering directory '/usr/ports/math/yices/work/yices-2.6.5/tests/unit'
cc -I../../src -I../../src/include -isystem /usr/local/include -DFREEBSD -DNDEBUG -O2 -pipe  -fPIC -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing  -fvisibility=hidden  -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c test_dl_profiler.c -o ../../build/amd64-unknown-freebsd14.1-release/obj/test_dl_profiler.o
test_dl_profiler.c:199:61: error: no member named 'nelems' in 'struct term_table_s'
  199 |   printf("term table: %"PRIu32" elements\n", context.terms->nelems);
      |                                              ~~~~~~~~~~~~~  ^
1 error generated.

Version: 2.6.5
clang-18
FreeBSD 14.1