Simmo Saan
Simmo Saan
> * is there an ideal amount of tests I should write or can I write as many as I feel to be necessary? As many as necessary to cover...
This PR has 115 commits which looks like a lot of intermediate changes that got reverted/removed by the end? In that case it would make sense to **squash merge** this...
By the way, are there any programs in sv-benchmarks or our bench where such situation occurs at all?
> I can go for the interactive rebase. Would it be enough if I remove all commits concerning the alternative version, which is completely removed now or should I also...
Since this history contains some merges from `master`, the rebase also starts rebasing some merged things to linearize the history. Using `--rebase-merges` should help, one just needs to not touch...
We've added `executing_speculative_computations` in many places, but not to `memOutOfBounds`, which unfortunately duplicates a lot of the logic on pointer arithmetic, etc. However, I think this shouldn't be a problem...