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

Example 1 with Lists

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

the class ExamplesTest method testLists_checkSymmetric.

/**
 * Runs Lists.checkSymmetric for 5.
 */
public void testLists_checkSymmetric() {
    final Lists prob = new Lists();
    final Solution sol = solve(prob.checkSymmetric(), prob.bounds(5));
    check(prob.getClass().getSimpleName(), sol, UNSATISFIABLE, 444, 4341, 18485);
}

Example 2 with Lists

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

the class ExamplesTest method testLists_checkEmpties.

/**
 * Runs Lists.checkEmpties for 5.
 */
public void testLists_checkEmpties() {
    final Lists prob = new Lists();
    final Solution sol = solve(prob.checkEmpties(), prob.bounds(5));
    check(prob.getClass().getSimpleName(), sol, UNSATISFIABLE, 444, 4341, 18485);
}

Example 3 with Lists

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

the class ExamplesTest method testLists_checkReflexive.

/**
 * Runs Lists.checkReflexive for 5.
 */
public void testLists_checkReflexive() {
    final Lists prob = new Lists();
    final Solution sol = solve(prob.checkReflexive(), prob.bounds(5));
    check(prob.getClass().getSimpleName(), sol, UNSATISFIABLE, 444, 4341, 18485);
}

Example 4 with Lists

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

the class ExamplesTest method testLists_runShow.

/**
 * Runs Lists.runShow for 5.
 */
public void testLists_runShow() {
    final Lists prob = new Lists();
    final Solution sol = solve(prob.runShow(), prob.bounds(5));
    check(prob.getClass().getSimpleName(), sol, SATISFIABLE, 444, 4341, 18485);
}