Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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

Closed
yurivict opened this issue Aug 19, 2024 · 0 comments · Fixed by #525
Closed

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

yurivict opened this issue Aug 19, 2024 · 0 comments · Fixed by #525
Assignees
Milestone

Comments

@yurivict
Copy link

=== 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

@ahmed-irfan ahmed-irfan self-assigned this Aug 19, 2024
@ahmed-irfan ahmed-irfan linked a pull request Aug 19, 2024 that will close this issue
@ahmed-irfan ahmed-irfan added this to the Yices 2.7 milestone Aug 20, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants