Elena 6.5.0 crashes in Ubuntu 24.04 docker image

[rzuckerm]

Describe the bug
I built and tested a simple "Hello World" program using Elena 6.5.0 running in a Ubuntu 24.04 docker image, and it crashes with this error:

Aborted:ffffffff

To Reproduce
You'll need a Linux system (or WSL2 with a Linux distribution). You'll need to install docker and make.

• Clone this repo
• cd elena-docker-image
• Change ELENA_VERSION to 6.5.0
• make build
• make test

Expected behavior
The crash should not occur

Please complete the following information:

• OS: Ubuntu 22.04 in WSL2 on Windows 11
• Version 6.5.0

** Additional Information**
The crash does not occur in 6.3.0

[arakov]

Hi, thanks for a bug report. I will look at it asap.

[arakov]

Hi, I was able to reproduce the error. I will fix it 6.5.2 version. I'll let you know when it will be available.