Examples with BriefPrintDfsVerifierListener il.ac.bgu.cs.bp.bpjs.analysis.listeners.BriefPrintDfsVerifierListener used on opensource projects

Example 6 with BriefPrintDfsVerifierListener

use of il.ac.bgu.cs.bp.bpjs.analysis.listeners.BriefPrintDfsVerifierListener in project BPjs by bThink-BGU.

the class DfsBProgramVerifierTest method simpleAAABTrace.

@Test
public void simpleAAABTrace() throws Exception {
    BProgram program = new SingleResourceBProgram("AAABTrace.js");
    DfsBProgramVerifier sut = new DfsBProgramVerifier();
    sut.setProgressListener(new BriefPrintDfsVerifierListener());
    program.appendSource(Requirements.eventNotSelected("B"));
    sut.setVisitedNodeStore(new ForgetfulVisitedStateStore());
    VerificationResult res = sut.verify(program);
    assertTrue(res.isCounterExampleFound());
    assertEquals("AAAB", traceEventNamesString(res.getCounterExampleTrace(), ""));
}