You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It seems that we currently do not have any unit tests for our opcodes. While we obviously have some higher order tests that indirectly cover a wide range of opcodes, I believe we should have some dedicated unit tests for our opcodes mainly to formally verify they work as intended.
How can it be fixed
🚀
The text was updated successfully, but these errors were encountered:
What is wrong?
It seems that we currently do not have any unit tests for our opcodes. While we obviously have some higher order tests that indirectly cover a wide range of opcodes, I believe we should have some dedicated unit tests for our opcodes mainly to formally verify they work as intended.
How can it be fixed
🚀
The text was updated successfully, but these errors were encountered: