Simmo Saan
Simmo Saan
Since clusters are already supported by the `Graphviz` module, it makes sense to allow edges from/to them.
### Test case from https://github.com/goblint/bench/issues/38#issuecomment-1243481718 ```c #include #include typedef struct raxNode { uint32_t iskey:1; uint32_t isnull:1; uint32_t iscompr:1; uint32_t size:29; unsigned char data[]; } raxNode; typedef struct rax { raxNode...
Submitting goblint-cil 2.0.0 to opam-repository revealed (even after some basic fixes) that we fail some of our tests on these architectures. ## x86_32 - [ ] testrun/math1 ``` # /usr/include/i386-linux-gnu/bits/mathcalls-helper-functions.h:21:...
`Formatcil` can parse the following expression (from Goblint's Apron analysis): `2147483647LL - (long long )top >= 0`. When Goblint evaluates the parsed expression, it crashes with: ``` exception IntDomain.IncompatibleIKinds("ikinds long...
While looking into how to parse single expressions, e.g. coming from a witness, I noticed how Goblint abuses `Formatcil.cExp` for that. Despite not being intended for user input parsing, it...
In #72 we disabled the merging of inline functions. One of the reasons being a slowdown claimed by an old comment: https://github.com/goblint/cil/blob/c47bbbdb442b4d50dac5a0879404ab3b5592170a/src/mergecil.ml#L65-L68 It would be useful to figure out the...
Throughout the years, 24-bit true color support has been asked about in #weechat but no issue exists about it. General resources about terminal 24-bit true color support: * [Original gist...
The HTML table from `table-generator` on the Summary tab currently only has counts for correct/correct-unconfirmed/incorrect results, separately for true and false. Since there can be a lot more different statuses,...
Double-star globbing is not allowed: https://jekyllrb.com/docs/configuration/front-matter-defaults/#glob-patterns-in-front-matter-defaults.
When debugging this program: ```ocaml let add x y = x + y let hello name = let f = add 1 in let text = Format.sprintf "Hello, %s (%d)!"...