sonarcloud[bot]
commented
9 months ago Kudos, SonarCloud Quality Gate passed! 
0 Bugs
0 Vulnerabilities
0 Security Hotspots
0 Code Smells
No Coverage information
No Duplication information
Some constraints for SET_CONTEXT were incorrect. Instead of checking that the new stack top was what was read in memory channel 3, we were only checking the first limb and forcing the other 7 to be 0.
Additionally, the zero-checking of the high limbs of value for one-limb quantities (like the stack length, or the context) wasn't done.