Examples of RedirectionLoop

org.openiaml.verification.nusmv.rules.RedirectionLoop
Searches for instances of infinite operation loops. TODO move this into a separate plugin? @author jmwright

Examples of org.openiaml.verification.nusmv.rules.RedirectionLoop

   * @return
   */
  public List<VerificationRule> getVerificationRules() {
    List<VerificationRule> list = new ArrayList<VerificationRule>();
    list.add(new InfiniteOperationLoop());
    list.add(new RedirectionLoop());
    return list;
  }

View Full Code Here

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.