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
Pull request #1005 has removed all the deprecated java verification commands that were based on code from jvm-verifier. However, the jvm-verifier repository is still a submodule of saw-script due to a couple of remaining dependencies. For example, some tests in our integration test suite rely on java code and other artifacts that are stored in the jvm-verifier repo.
We should address the remaining dependencies, moving test code as necessary, in order to completely remove the jvm-verifier submodule.
The text was updated successfully, but these errors were encountered:
Pull request #1005 has removed all the deprecated java verification commands that were based on code from jvm-verifier. However, the
jvm-verifier
repository is still a submodule of saw-script due to a couple of remaining dependencies. For example, some tests in our integration test suite rely on java code and other artifacts that are stored in thejvm-verifier
repo.We should address the remaining dependencies, moving test code as necessary, in order to completely remove the
jvm-verifier
submodule.The text was updated successfully, but these errors were encountered: