CollectionSearchTest.java

package lux;

import lux.Compiler.SearchStrategy;

import org.junit.BeforeClass;
import org.junit.Ignore;
import org.junit.Test;

public class CollectionSearchTest extends SearchTest {
    
    @BeforeClass
    public static void setup () throws Exception {
        SearchTest.setup();
        index.compiler.setSearchStrategy(SearchStrategy.SAXON_LICENSE);
    }
    
    @Override
    @Test @Ignore
    public void testDocumentIdentity() throws Exception {
        // the optimization part of this test fails due to failure to optimize document order
    }

    @Override
    @Test @Ignore
    public void testDocumentOrder() throws Exception {
        // ditto
    }
}