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

broken URL for Collection_Hashcode property #186

Open owolabileg opened 10 years ago

owolabileg commented 10 years ago

The URL reported when this property is violated does not exist:

https://runtimeverification.com/monitor/annotated-java/Collection_HashCode.html

grosu commented 10 years ago

Hm, don't we have some automatic way to generate these messages, based on what actually exists in the annotated-java repo? Also, as I reported in https://github.com/runtimeverification/rv-monitor/issues/118,https://github.com/runtimeverification/rv-monitor/issues/118, the entire annotated-java page has some display bugs.

Grigore

From: Owolabi Legunsen [notifications@github.com] Sent: Thursday, November 06, 2014 9:22 PM To: runtimeverification/javamop Subject: [javamop] broken URL for Collection_Hashcode property (#186)

The URL reported when this property is violated does not exist:

https://runtimeverification.com/monitor/annotated-java/Collection_HashCode.html

— Reply to this email directly or view it on GitHubhttps://github.com/runtimeverification/javamop/issues/186.