Michael Petter
How about keeping a raw/master TSV around and some postprocessing scripts based on CLI tools like sed/head/tail/grep and [csvkit](https://github.com/wireservice/csvkit)?
dune test runs through without hickups on my M1 Mac
Oh, ok. Discussions with @michael-schwarz lead me to believe, that the _with suffix would be loaded with the semantics of having a return value but possibly mutating the original parameter...
This has been adressed in #1754
> Does #1492 fix the issue? Actually it does, you are right
> Great to hear! Maybe this can serve as another regression test, then.
> > A quick dive into what happens during analysis time revealed some interactions with some a#in and a#out that I do not understand yet, but maybe someone wants to...
a first comparison on the svcomp benchmark revealed 10 new tasks that could be solved by a narrowing_gas value of 5 compared to a vanilla polyhedra analysis -- interestingly mainly...
> > a first comparison on the svcomp benchmark revealed 10 new tasks that could be solved by a narrowing_gas value of 5 compared to a vanilla polyhedra analysis --...