From d90876dbe0acae05bfe0521e816faa9cac018149 Mon Sep 17 00:00:00 2001 From: Mordan Vitalii Date: Tue, 25 Jun 2024 21:27:29 +0500 Subject: [PATCH] Fix newline --- scripts/components/mea.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/components/mea.py b/scripts/components/mea.py index 5d5fbd7..912e38a 100644 --- a/scripts/components/mea.py +++ b/scripts/components/mea.py @@ -63,7 +63,7 @@ class MEA(Component): Error trace equivalence for two traces et1 and et2 is determined in the following way: et1 = et2 <=> comparison(conversion(parser(et1)), comparison(parser(et2))), where parser function parses the given file with error trace and returns its internal - representation, conversion function transforms its internal representation (for example, + representation, conversion function transforms its internal representation (for example, by removing some elements) and comparison function compares its internal representation. Definitions: - parsed error trace - result of parser(et), et - file name with error trace (xml);