// Path: test/test/ModulesAssertions.java
// public static ValidationAssert assertThat(Model model) {
//     return new ValidationAssert(model);
// }


import org.junit.Test;
import static org.apache.commons.lang.RandomStringUtils.random;
import static test.ModulesAssertions.assertThat;
package models;



public class ModuleValidationTest {


    @Test
    public void valid() {
        Module module = new ModuleBuilder().build();
// Path: test/test/ModulesAssertions.java
// public static ValidationAssert assertThat(Model model) {
//     return new ValidationAssert(model);
// }


// Path: test/models/ModuleValidationTest.java
import org.junit.Test;
import static org.apache.commons.lang.RandomStringUtils.random;
import static test.ModulesAssertions.assertThat;

package models;



public class ModuleValidationTest {


    @Test
    public void valid() {
        Module module = new ModuleBuilder().build();
        assertThat(module).isValid();