Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
Ocarina
Commits
83086cfc
Commit
83086cfc
authored
Jul 28, 2013
by
yoogx
Browse files
* Adjust size of pattern matchers
parent
f7b458c3
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/backends/ocarina-backends-execution_tests.ads
View file @
83086cfc
...
...
@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
-- Copyright (C) 2009 Telecom ParisTech, 2010-201
2
ESA & ISAE. --
-- Copyright (C) 2009 Telecom ParisTech, 2010-201
3
ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify --
-- it under terms of the GNU General Public License as published by the --
...
...
@@ -191,11 +191,11 @@ package Ocarina.Backends.Execution_Tests is
Write_Log
:
Boolean
:=
True
;
-- Decides if we should write log files for referencials and traces
Parse_Regexp
:
Pattern_Matcher
(
128
);
Parse_Regexp
:
Pattern_Matcher
(
4
*
1024
);
Strip_CR_Regexp
:
Pattern_Matcher
(
16
);
Strip_CR_Regexp
:
Pattern_Matcher
(
4
*
1024
);
Header_End_Regexp
:
Pattern_Matcher
(
24
);
Header_End_Regexp
:
Pattern_Matcher
(
4
*
10
24
);
Tsim_Traces_Regexp
:
Pattern_Matcher
(
56
);
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment