javert-verify-checkA simple extension to show if the JaVerT specifications for programs are successfully verified or not Installation Launch VS Code Quick Open ( Ctrl+P ), paste the following command, and press enter.Copied to clipboard |
JaVert Verify Check |