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

Example 1 with AbstractWorldDefinitions

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

the class ExamplesTest method testAWD_A241.

/**
 * Runs AbstractWorldDefinitions.checkA241 for 5.
 */
public void testAWD_A241() {
    final AbstractWorldDefinitions prob = new AbstractWorldDefinitions();
    final Solution sol = solve(prob.checkA241(), prob.bounds(5));
    check(prob.getClass().getSimpleName(), sol, UNSATISFIABLE, 407, 6968, 15413);
}

Example 2 with AbstractWorldDefinitions

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

the class ExamplesTest method testAWD_AbOp_total.

/**
 * Runs AbstractWorldDefinitions.checkAbOp_total for 5.
 */
public void testAWD_AbOp_total() {
    final AbstractWorldDefinitions prob = new AbstractWorldDefinitions();
    final Solution sol = solve(prob.checkAbOp_total(), prob.bounds(5));
    check(prob.getClass().getSimpleName(), sol, TRIVIALLY_UNSATISFIABLE, 0, 0, 0);
}

Example 3 with AbstractWorldDefinitions

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

the class ExamplesTest method testAWD_AbIgnore_inv.

/**
 * Runs AbstractWorldDefinitions.checkAbIgnore_inv for 5.
 */
public void testAWD_AbIgnore_inv() {
    final AbstractWorldDefinitions prob = new AbstractWorldDefinitions();
    final Solution sol = solve(prob.checkAbIgnore_inv(), prob.bounds(5));
    check(prob.getClass().getSimpleName(), sol, UNSATISFIABLE, 407, 6968, 15413);
}

Example 4 with AbstractWorldDefinitions

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

the class ExamplesTest method testAWD_AbTransfer_inv.

/**
 * Runs AbstractWorldDefinitions.checkAbTransfer_inv for 5.
 */
public void testAWD_AbTransfer_inv() {
    final AbstractWorldDefinitions prob = new AbstractWorldDefinitions();
    final Solution sol = solve(prob.checkAbTransfer_inv(), prob.bounds(5));
    check(prob.getClass().getSimpleName(), sol, UNSATISFIABLE, 407, 6968, 15413);
}