Commit 55bbc1a1 authored by Daniel Ratiu's avatar Daniel Ratiu
Browse files

No commit message

No commit message
parent 7ab4ebdc
...@@ -60,7 +60,7 @@ import test.org.fortiss.af3.expression.evaluator.EvaluatorTestData; ...@@ -60,7 +60,7 @@ import test.org.fortiss.af3.expression.evaluator.EvaluatorTestData;
* @author ratiu * @author ratiu
* @author $Author: ratiu $ * @author $Author: ratiu $
* @version $Rev: 4076 $ * @version $Rev: 4076 $
* @ConQAT.Rating YELLOW Hash: 013D86604FF9F234AB493485A9186CD1 * @ConQAT.Rating YELLOW Hash: CF9D7AC0CEB58EB4BB75E97F414BFBE0
*/ */
@RunWith(Parameterized.class) @RunWith(Parameterized.class)
public class ModelCheckerEquivalenceTest extends ModelCheckerAnalysesTestBase { public class ModelCheckerEquivalenceTest extends ModelCheckerAnalysesTestBase {
......
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