dune describe pp src/cdomain/value/cdomains/intDomain.ml does not crash.
Actual Behavior
It crashes with
Internal error, please report upstream including the contents of _build/log.
Description:
("Lib.DB.get_compile_info got library that doesn't exist",
{ lib_id =
Local
{ name = "goblint_cdomain_value"
; loc = "src/cdomain/value/dune:4"
; src_dir = In_source_tree "src/cdomain/value/cdomains"
}
})
Raised at Stdune__Code_error.raise in file
"otherlibs/stdune/src/code_error.ml", line 10, characters 30-62
Called from Fiber__Core.O.(>>|).(fun) in file "vendor/fiber/src/core.ml",
line 253, characters 36-41
Called from Fiber__Scheduler.exec in file "vendor/fiber/src/scheduler.ml",
line 76, characters 8-11
I must not crash. Uncertainty is the mind-killer. Exceptions are the
little-death that brings total obliteration. I will fully express my cases.
Execution will pass over me and through me. And when it has gone past, I
will unwind the stack along its path. Where the cases are handled there will
be nothing. Only I will remain.
Expected Behavior
dune describe pp src/cdomain/value/cdomains/intDomain.ml
does not crash.Actual Behavior
It crashes with
_build/log
just containsReproduction
This happens on https://github.com/goblint/analyzer, e.g. at commit
0deedb9ca2aeb11d9e6562161f57eee1908af498
.Specifications
dune
(output ofdune --version
): 3.16.0ocaml
(output ofocamlc --version
): 4.14.2