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
2c7c8f5a
Commit
2c7c8f5a
authored
Jul 28, 2013
by
yoogx
Browse files
* Do not report an error if trace is smaller than reference output
parent
b908f01a
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/backends/ocarina-backends-execution_tests.adb
View file @
2c7c8f5a
...
...
@@ -172,15 +172,16 @@ package body Ocarina.Backends.Execution_Tests is
end
if
;
if
Trace_Filtered
.
all
'
Length
<
Ref_Filtered
.
all
'
Length
then
Write_Line
(
"
Error
: trace length ("
Write_Line
(
"
Warning
: trace length ("
&
Trace_Filtered
.
all
'
Length
'
Img
&
" ) is lower than referencial length ("
&
Ref_Filtered
.
all
'
Length
'
Img
&
" )"
);
return
False
;
end
if
;
Padding
:=
Trace_Filtered
'
First
-
Ref_Filtered
'
First
;
for
I
in
Ref_Filtered
.
all
'
Range
loop
exit
when
I
+
Padding
>
Trace_Filtered
.
all
'
Last
;
if
Ref_Filtered
.
all
(
I
)
/=
Trace_Filtered
.
all
(
I
+
Padding
)
then
Write_Line
(
"Failed at char position = "
&
I
'
Img
&
" (ref = '"
&
Ref_Filtered
.
all
(
I
)
...
...
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