Differences

This shows you the differences between two versions of the page.

--- codebase:jpf [2024/09/28 15:58] – created - external edit 127.0.0.1
+++ codebase:jpf [2024/09/28 22:53] (current) – fponzi
@@ Line 9: / Line 9: @@
 </code>
+test-verify is the command that will run the tests.