Commit 531082b7 authored by Sebastian Krings's avatar Sebastian Krings
Browse files

renamed package

parent 5a1a0be1
package de.prob.core.domainobjects.ltl.unittests;
package de.prob.core.domainobjects.ltl.tests;
import org.junit.runner.RunWith;
import org.junit.runners.Suite;
......
package de.prob.core.domainobjects.ltl.unittests;
package de.prob.core.domainobjects.ltl.tests;
import static org.junit.Assert.assertTrue;
......
package de.prob.core.domainobjects.ltl.unittests;
package de.prob.core.domainobjects.ltl.tests;
import static org.junit.Assert.assertTrue;
......
package de.prob.core.domainobjects.ltl.unittests;
package de.prob.core.domainobjects.ltl.tests;
import static org.junit.Assert.assertTrue;
......
package de.prob.core.domainobjects.ltl.unittests;
package de.prob.core.domainobjects.ltl.tests;
import java.util.ArrayList;
import java.util.Collection;
......
package de.prob.core.domainobjects.ltl.unittests;
package de.prob.core.domainobjects.ltl.tests;
import de.prob.core.command.LtlCheckingCommand.PathType;
import de.prob.core.domainobjects.ltl.CounterExample;
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment