Bug 926436 – sci-mathematics/yices2-2.6.4-r1 fails tests

• Status: CONFIRMED
• Product: Gentoo Linux

[Description Agostino Sarubbo 2024-03-08 09:11:06 UTC]

https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/

Issue: sci-mathematics/yices2-2.6.4-r1 fails tests.
Discovered on: amd64 (internal ref: clang-lld_tinderbox)
System: CLANG-LLD (https://wiki.gentoo.org/wiki/Project:Tinderbox/Common_Issues_Helper#CLANG-LLD)

Info about the issue:
https://wiki.gentoo.org/wiki/Project:Tinderbox/Common_Issues_Helper#CF0015

[Comment 1 Agostino Sarubbo 2024-03-08 09:11:08 UTC]

Created attachment 886973 [details]
build.log

build log and emerge --info

[Comment 2 Agostino Sarubbo 2024-03-08 09:11:08 UTC]

Error(s) that match a know pattern:


< yices_smt2: /var/tmp/portage/sci-mathematics/libpoly-0.1.11/work/libpoly-0.1.11/src/polynomial/feasibility_set.c:210: void lp_feasibility_set_pick_value(const lp_feasibility_set_t *, lp_value_t *): Assertion `!lp_feasibility_set_is_empty(set)' failed.
< yices_smt2: /var/tmp/portage/sci-mathematics/libpoly-0.1.11/work/libpoly-0.1.11/src/polynomial/feasibility_set.c:229: void lp_feasibility_set_pick_first_value(const lp_feasibility_set_t *, lp_value_t *): Assertion `!lp_feasibility_set_is_empty(set)' failed.
< yices_smt2: /var/tmp/portage/sci-mathematics/libpoly-0.1.11/work/libpoly-0.1.11/src/polynomial/feasibility_set.c:584: void lp_feasibility_set_to_interval(const lp_feasibility_set_t *, lp_interval_t *): Assertion `set->size > 0' failed.
FAIL
cp: cannot stat '../build/x86_64-pc-linux-gnu-release/bin/*.dll': No such file or directory