Online MOP link not working

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

Open Leviathan321 opened 3 years ago

Leviathan321 commented 3 years ago

The link https://kframework.org/tool/run/javamop for executing MOP online is not working.