Examples with Skip com.dat3m.dartagnan.program.event.core.Skip used on opensource projects

Example 1 with Skip

use of com.dat3m.dartagnan.program.event.core.Skip in project Dat3M by hernanponcedeleon.

the class ExceptionsTest method noThread.

@Test(expected = MalformedProgramException.class)
public void noThread() throws Exception {
    ProgramBuilder pb = new ProgramBuilder(SourceLanguage.LITMUS);
    // Thread 1 does not exists
    pb.addChild(1, new Skip());
}

Example 2 with Skip

use of com.dat3m.dartagnan.program.event.core.Skip in project Dat3M by hernanponcedeleon.

the class ProgramBuilder method initThread.

public void initThread(String name, int id) {
    if (!threads.containsKey(id)) {
        Skip threadEntry = EventFactory.newSkip();
        threadEntry.setOId(lastOrigId++);
        threads.putIfAbsent(id, new Thread(name, id, threadEntry));
    }
}