search

goblint / cil

C Intermediate Language
https://goblint.github.io/cil/
Other
133 stars 20 forks source link

Test failures on oraclelinux-9 and freebsd #153

Open sim642 opened 1 year ago

sim642 commented 1 year ago

https://github.com/ocaml/opam-repository/pull/24493 reveals test failures on oraclelinux-9 and freebsd where all tests fail: