@@ -0,0 +1,2418 @@
+/*%0A * Licensed under the Apache License, Version 2.0 (the License);%0A * you may not use this file except in compliance with the License.%0A * You may obtain a copy of the License at%0A *%0A *     http://www.apache.org/licenses/LICENSE-2.0%0A *%0A * Unless required by applicable law or agreed to in writing, software%0A * distributed under the License is distributed on an AS IS BASIS,%0A * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.%0A * See the License for the specific language governing permissions and%0A * limitations under the License.%0A */%0Apackage rationals;%0A%0Aimport rationals.properties.TraceEquivalent;%0Aimport junit.framework.TestCase;%0A%0Apublic class TraceEquivalentTest extends TestCase %7B%0A%0A    /**%0A     * Constructor for TraceEquivalentTest.%0A     * @param arg0%0A     */%0A    public TraceEquivalentTest(String arg0) %7B%0A        super(arg0);%0A    %7D%0A%0A   %0A    public void testTraceEquivalentAutomata() %7B%0A%0A    %7D%0A%0A    public void testNonTraceEquivalentAutomata() throws NoSuchStateException %7B%0A    %09Automaton%3CString, Transition%3CString%3E, TransitionBuilder%3CString%3E%3E a1 = new Automaton%3C%3E();%0A    %09State s10 = a1.addState(true, false);%0A    %09State s11 = a1.addState(false, true);%0A    %09State s12 = a1.addState(false, false);%0A    %09a1.addTransition(new Transition%3C%3E(s10, %22P%22, s11));%0A    %09a1.addTransition(new Transition%3C%3E(s11, %22Q%22, s12));%0A    %09a1.addTransition(new Transition%3C%3E(s11, %22S%22, s11));%0A    %09a1.addTransition(new Transition%3C%3E(s12, %22R%22, s11));%0A    %09%0A    %09Automaton%3CString, Transition%3CString%3E, TransitionBuilder%3CString%3E%3E a2 = new Automaton%3C%3E();%0A    %09State s20 = a2.addState(true, false);%0A    %09State s21 = a2.addState(false, true);%0A    %09State s22 = a2.addState(false, false);%0A    %09State s23 = a2.addState(false, false);%0A    %09State s24 = a2.addState(false, false);%0A    %09a2.addTransition(new Transition%3C%3E(s20, %22P%22, s21));%0A    %09a2.addTransition(new Transition%3C%3E(s21, %22Q%22, s22));%0A    %09a2.addTransition(new Transition%3C%3E(s23, %22Q%22, s24));%0A    %09a2.addTransition(new Transition%3C%3E(s22, %22R%22, s23));%0A    %09a2.addTransition(new Transition%3C%3E(s21, %22S%22, s21));%0A    %09a2.addTransition(new Transition%3C%3E(s23, %22S%22, s21));%0A    %09a2.addTransition(new Transition%3C%3E(s24, %22R%22, s21));%0A    %09%0A    %09// Note that a1 and a2 do not recognise the same languages, but are trace equivalent%0A    %09TraceEquivalent%3CString, Transition%3CString%3E, TransitionBuilder%3CString%3E%3E equiv = new TraceEquivalent%3C%3E();%0A        assertTrue(equiv.test(a1, a2));%0A    %7D%0A    %0A%7D%0A

Add MWE that for TraceEquivalence as a unit test.