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

Example 1 with FileSystem

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

the class ExamplesTest method testFileSystem.

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