Skip to content

Commit

Permalink
Fix newline
Browse files Browse the repository at this point in the history
  • Loading branch information
vmordan committed Jun 25, 2024
1 parent 04808c8 commit d90876d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion scripts/components/mea.py
Original file line number Diff line number Diff line change
Expand Up @@ -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);
Expand Down

0 comments on commit d90876d

Please sign in to comment.