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

add enforce test #222

Closed xiaohe27 closed 8 years ago

xiaohe27 commented 8 years ago

The test case for enforce property