Segmentation fault with Julia v1.13

[schillic]

Happy to provide an example input, but I first wanted to hear whether this is a known issue. Would be good to be ready once v1.13 gets released. I tested with the rc1 version.

[goulart-paul]

Not a known issue AFAIK. Could you provide a test case?

[schillic]

I tried running the Clarabel test suite for a bit and everything seemed fine. So it may be related to the way I use the library. See my example below. It works on v1.12.

julia> VERSION
v"1.13.0-rc1"

pkg> status
  [61c947e1] Clarabel v0.11.1
  [7c1d4256] DynamicPolynomials v0.6.6
  [4b9e565b] SumOfSquares v0.8.0

import Clarabel, SumOfSquares
using SumOfSquares: @set, SOSModel, @variable, @constraint, @objective, optimize!
import SumOfSquares: SemialgebraicSets  # needed for `@set`
using DynamicPolynomials: @polyvar, variables

@polyvar x
p = -x^3 / 6 + 5x

x1 = variables(p)[1]
D = @set 1.0 <= x1 && x1 <= 4.0

solver = SumOfSquares.optimizer_with_attributes(Clarabel.Optimizer)
model = SOSModel(solver)

@variable(model, γ)
@constraint(model, p <= γ, domain=D, maxdegree=5)
@objective(model, Min, γ)

optimize!(model)

[9804] signal 11 (1): Segmentation fault
in expression starting at [...]
unknown function (ip: (nil)) at (unknown file)
Allocations: 81961606 (Pool: 81958692; Big: 2914); GC: 23
Segmentation fault (core dumped)