Developer Policies - runtimeverification/javamop GitHub Wiki
JavaMOP's official development guidelines will strictly mirror those used in the K Framework. Here is a link to those policies, including those for coding, code reviews and testing.
JavaMOP's official development guidelines will strictly mirror those used in the K Framework. Here is a link to those policies, including those for coding, code reviews and testing.