christoph/fail
1
Fork 0
Code Releases Activity

wmoo: experiment info updated for latest target updates

Browse Source 
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1147 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
This commit is contained in:
hsc
2012-04-23 17:55:04 +00:00
parent d93cf513f5
commit 5e821904b4
1 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
core/experiments/weathermonitor/experimentInfo.hpp
View File

@ -45,13 +45,13 @@
// main() address:
// nm -C guarded.elf|fgrep main
#define WEATHER_FUNC_MAIN 0x00100fa0
#define WEATHER_FUNC_MAIN 0x00100e30
// wait_begin address
#define WEATHER_FUNC_WAIT_BEGIN 0x00100f80
#define WEATHER_FUNC_WAIT_BEGIN 0x00100e10
// wait_end address
#define WEATHER_FUNC_WAIT_END 0x00100f90
#define WEATHER_FUNC_WAIT_END 0x00100e20
// vptr_panic address (only exists in guarded variant)
#define WEATHER_FUNC_VPTR_PANIC 0x001013a0
#define WEATHER_FUNC_VPTR_PANIC 0x00101170
// number of main loop iterations to trace
// (determines trace length and therefore fault-space width)
#define WEATHER_NUMITER_TRACING 4
@ -66,16 +66,16 @@
#define WEATHER_NUMINSTR_AFTER 10232
// data/BSS begin:
// nm -C guarded.elf|fgrep ___DATA_START__
#define WEATHER_DATA_START 0x00101a80
#define WEATHER_DATA_START 0x00101b84
// data/BSS end:
// nm -C guarded.elf|fgrep ___BSS_END__
#define WEATHER_DATA_END 0x00103398
#define WEATHER_DATA_END 0x001034ac
// text begin:
// nm -C guarded.elf|fgrep ___TEXT_START__
#define WEATHER_TEXT_START 0x00100000
// text end:
// nm -C guarded.elf|fgrep ___TEXT_END__
#define WEATHER_TEXT_END 0x001018bb
#define WEATHER_TEXT_END 0x001019db
#endif