Manuel Pietsch

Results 6 comments of Manuel Pietsch

'make headers' does not create all required compiler-gcc headers

> The script is supposed to always run under bash though You are right, it does run in bash. I guess I was just confused that when trying the commands...

Autotuning of Configuration: First Steps

I am testing with the sv-comp tests and there are some improvements. For example, in the NoOverflow category Goblint is correct 104 instead of 81 times and uses a bit...

Autotuning of Configuration: First Steps

> It would be good to have complete SV-COMP before vs after runs with this to see how well this ad-hoc stuff works. I did this in my[ bachelor's thesis](https://github.com/goblint/analyzer/files/9602870/main.pdf):...

Enforce SL.con.3: Add check to replace operator[] with at() [Cont.]

> I still think "AvoidBoundErrors" is the best name since it maps exactly to what the guidelines call it. For me, this sounds to general for what the check currently...

Enforce SL.con.3: Add check to replace operator[] with at() [Cont.]

We now added FIXITs with the different modes as suggested. Some notes about the implementation: - In the None / Function mode, we thought that checking if an at method...

New Analysis combining Linear Two-Variable Equalities with other domains

I am not sure why the regression test fail, as it runs locally. Do you have a suggestion how to debug this?