Summary: | sci-mathematics/yices2-2.6.4-r1 fails tests | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Agostino Sarubbo <ago> |
Component: | Current packages | Assignee: | Gentoo Science Mathematics related packages <sci-mathematics> |
Status: | CONFIRMED --- | ||
Severity: | normal | Keywords: | TESTFAILURE |
Priority: | Normal | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Attachments: | build.log |
Description
Agostino Sarubbo
2024-03-08 09:11:06 UTC
Created attachment 886973 [details]
build.log
build log and emerge --info
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 |