Search results

Random failures with <code>e-acsl-gcc.sh</code>

Status: Open.

#62 In OCamlPro/seacoral;

· nberth opened on Feb 6, 2026

Environment variables LLVM_COV and LLVM_PROFDATA are not correctly configured in the docker image

Status: Open.

#56 In OCamlPro/seacoral;

· dlonguet opened on Jan 22, 2026

Switch-case blocks are not considered as branches by LTest

Status: Open.

#55 In OCamlPro/seacoral;

· dlonguet opened on Jan 21, 2026

Compilation options do not seem to be taken into account

Status: Open.

#54 In OCamlPro/seacoral;

· dlonguet opened on Jan 20, 2026

Klee on seed mode does not support symbolic size in its own harness

Status: Open.

#51 In OCamlPro/seacoral;

· dlonguet opened on Dec 17, 2025

Add explicit error messages when key elements are missing

Status: Open.

#50 In OCamlPro/seacoral;

· dlonguet opened on Dec 17, 2025

Propagate <code>struct</code>-field-related array-size mappings to proper pointer attributes

Status: Open.

Feature

#49 In OCamlPro/seacoral;

· nberth opened on Dec 12, 2025

Simplify access to user-mounted volumes in Docker images

dockerRelated to Docker image creationRelated to Docker image creation

Status: Open.

Bug

#45 In OCamlPro/seacoral;

· nberth opened on Dec 8, 2025

Characterize and document detected RTEs

Status: Open.

#41 In OCamlPro/seacoral;

· nberth opened on Dec 5, 2025

Report oracle status

Status: Open.

#40 In OCamlPro/seacoral;

· nberth opened on Dec 5, 2025

Update validator API to get outcome

Status: Open.

#31 In OCamlPro/seacoral;

· Stevendeo opened on Nov 28, 2025