denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

test-sanitizer: simplify, increase caps for sel4

Browse Source
This commit is contained in:
Norman Feske
2023-06-09 09:03:40 +02:00
parent 54a549d808
commit 6af42c9fb5
1 changed files with 5 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

23
repos/base/recipes/pkg/test-sanitizer/runtime
View File

@@ -1,10 +1,10 @@
<runtime ram="32M" caps="1000" binary="init">
<runtime ram="16M" caps="150" binary="test-sanitizer">
<events>
<timeout meaning="failed" sec="10" />
<log meaning="succeeded">
[init -> test-sanitizer]*runtime error: *index 2 out of bounds*
[init -> test-sanitizer]*runtime error: *store to null pointer
[init]*runtime error: *index 2 out of bounds*
[init]*runtime error: *store to null pointer
</log>
</events>
@@ -15,19 +15,6 @@
<rom label="test-sanitizer"/>
</content>
<config>
<parent-provides>
<service name="CPU"/>
<service name="LOG"/>
<service name="PD"/>
<service name="ROM"/>
</parent-provides>
<default-route>
<any-service> <any-child/> <parent/> </any-service>
</default-route>
<default caps="100"/>
<start name="test-sanitizer">
<resource name="RAM" quantum="16M"/>
</start>
</config>
<config/>
</runtime>