Examples with Handshake examples.alloy.Handshake used on opensource projects

Example 1 with Handshake

use of examples.alloy.Handshake in project org.alloytools.alloy by AlloyTools.

the class ExamplesTest method testHandshake.

/**
 * Runs Handshake.runPuzzle for 6.
 */
public void testHandshake() {
    final Handshake prob = new Handshake();
    final Solution sol = solve(prob.runPuzzle(), prob.bounds(6));
    check(prob.getClass().getSimpleName(), sol, SATISFIABLE, 444, 4341, 18485);
}