Simmo Saan

On opam 2.1.2 I somehow managed to hit an even weirder instance of this issue. After running out of disk space during switch creation, `~/.opam/config` was not just replaced by...

Is it really abstract/opaque there though?

I've seen it in some copied/preprocessed files that try to preserve the original location mapping through pragmas like `# 1 "original_module.ml`, for example at the top of the module. I...

I've found this to be more annoying in terms of modifying the files because after debugging, you might have the `_build` copy open instead of the original source, but that's...

There's already some logic for reason files: https://github.com/hackwaly/ocamlearlybird/blob/3c22568a0b4478b592eb0b148c4b26ac4c0480eb/src/debugger/core/symbols/symbols.ml#L60-L63 But maybe that's not enough.

#154 needs to be handled for this.

The test from #154 doesn't seem to fail in GitHub CI on OSX arm64 now. I wonder if the opam-repository CI machines are somehow different. @DrMichaelPetter Do all CIL tests...

I've relaxed the availability to allow for `arm64` in 8f9b0c660a020308b12e15276ad9a82cc9a64c9f.

#85, #86 and #123 are all related to this but somehow still didn't fix everything. The problem might be related to the inconsistency I pointed out here: https://github.com/goblint/cil/pull/85#discussion_r834448283. Slightly different...

The unminimized issue is from silver searcher and some extern inline functions from the `stdio.h` header, which are certainly valid. From `bits/stdio2.h`: ```c __fortify_function int __NTH (vasprintf (char **__restrict __ptr,...