search

runtimeverification / javamop

Runtime verification system for Java, using AspectJ for instrumentation.
http://fsl.cs.illinois.edu/javamop
MIT License
45 stars 37 forks source link

Unit test #226

Closed xiaohe27 closed 8 years ago

xiaohe27 commented 8 years ago

Add unit tests to javamop.

restructure the previous system tests.