Vincent Mihalkovic

Hi, in following test (from: [predator-regre](https://github.com/kdudka/predator/blob/master/tests/predator-regre/test-0158.c)): ```c #include #include int main() { union { void *p0; struct { char c[2]; void *p1; void *p2; } str; } data; // alloc...

Rellic produces semantically non-equivalent code

1

##### Used version: 0.2.3. (current) ##### Reproducer: ```c #include int main(int argc, const char** argv) { int i = argc; if ( i == 1 ) { // no args...

Looking at the random log from: https://sv-comp.sosy-lab.org/2024/results/results-verified/symbiotic.2023-11-28_20-34-48.results.SV-COMP24_unreach-call.ReachSafety-Loops.xml.bz2.fixed.xml.bz2.table.html#/table. Current compilation flags are: ``` clang -c -emit-llvm -fgnu89-inline -D__inline= -Wno-unused-parameter -Wno-unknown-attributes -Wno-unused-label -Wno-unknown-pragmas -Wno-unused-command-line-argument -O0 -disable-O0-optnone -disable-llvm-passes -g -fbracket-depth=2048 ``` After removing:...

Hi, when I look at website of [file](https://apps.fedoraproject.org/packages/file) package, overview is showing [filezilla](https://src.fedoraproject.org/rpms/filezilla/blob/0728ed6b/f/filezilla.spec#_38) instead of [file](https://src.fedoraproject.org/rpms/file/blob/15f3e01d/f/file.spec#_34) package description.