Andreas
Andreas
> or am I missing something? No, this is how I implemented it, it does seem like the best solution currently - however it *feels* slightly wrong. > The CBMC...
Hey @hanno-becker, sorry for the delay. Haven't had much time outside of work recently. Will mark as a draft till I fix the failing CI tests.
I've added a test case as well as fixed the failing CI tests. Please let me know what needs to be modified regarding the proofs as I'm not sure what...
@hanno-becker Hello, please see my comment above regarding what the issue was with the `shfmt` syntax. I've changed that syntax and I simplified the logic behind the `shellcheck` implementation. I'm...