Package it.itc.irst.nusmv.cli

Examples of it.itc.irst.nusmv.cli.ExecuteNuSMV.execute()

96
97
98
99
100
101
102
103
104
105
106
        InputStream ruleStream = rule.getVerificationRule();
        monitor.worked(1);
             
        monitor.subTask("Passing to SMV verification");
        ExecuteNuSMV exec = new ExecuteNuSMV();
        List<String> output = exec.execute( new SequenceInputStream(modelStream, ruleStream) );
        monitor.worked(1);
       
        // add to log?
        if (shouldLog) {
          log.add("Executing rule " + rule + "...");
View Full Code Here
38
39
40
41
42
43
44
45
46
47
48
      throw new RuntimeException("A file might be missing from the bundle: " + e.getMessage(), e);
    }

    // get the crocopat output
    ExecuteNuSMV exec = new ExecuteNuSMV();
    List<String> r = exec.execute(smv.openStream());
   
    assertNotNull("Result should not be null", r);
   
    // should have passed with some log info
    assertFalse("Expected some results", r.size() == 0);
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
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.