OpShin / opshin / 16788530931 / 4

93%

dev: 93%

push

github

Attempt fixing the reported vulnerability #2 in audit report  (#439)

* Add tests to reproduce the issue

* Fix test cases

* Fix

* Clean up tests

* Add failing test for while (S503)

* Implement a fix for while and a bigger issue of casting

* Add failing test for recasting union

* Fix re-casting of Unions S504 (and other shenenigans)

1054 of 1326 branches covered (79.49%)

Branch coverage included in aggregate %.

4371 of 4778 relevant lines covered (91.48%)

0.91 hits per line