ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-05-21 09:47:44 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

More robust output parsing in ieee754 test

Browse Source 
Only parse output of the test programs one-by-one and ignore log
messages from other components not starting with '[init -> test$number]'.

Fixes sporadic failures on KERNEL=sel4 due to the following warning from
core.

  Warning: flush page table entries - mapping cache full - PD: init -> test1
This commit is contained in:
Christian Helmuth 2022-01-18 11:40:18 +01:00
parent d3adadf4cf
commit 02eea3ecf0
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
repos/libports/run/ieee754.run
View File

@ -3556,16 +3556,16 @@ if {[have_spec x86_32]} {
set reference_output $reference_output_x86_32 set reference_output $reference_output_x86_32
} }
proc filter_and_compare_output {pattern expected} { proc filter_and_compare_output {number expected} {
global output global output
set old_output $output set old_output $output
grep_output "init -> $pattern" grep_output "\\\[init -> test$number\\\]"
unify_output {\[init -> test.\] } {} unify_output "\\\[init -> test$number\\\] " {}
compare_output_to $expected compare_output_to $expected
set output $old_output set output $old_output
} }
filter_and_compare_output "test1" $reference_output filter_and_compare_output "1" $reference_output
filter_and_compare_output "test2" $reference_output filter_and_compare_output "2" $reference_output
filter_and_compare_output "test3" $reference_output filter_and_compare_output "3" $reference_output
filter_and_compare_output "test4" $reference_output filter_and_compare_output "4" $reference_output