christoph/fail
1
Fork 0
Code Actions Packages Releases Activity

wmoo: new results

Browse Source 
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1170 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
This commit is contained in:
hsc
2012-04-25 14:36:14 +00:00
parent 70a4a8980f
commit 191faf0e1d
1 changed files with 13 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@ -46,13 +46,13 @@
// main() address: // main() address:
// nm -C guarded.elf|fgrep main // nm -C guarded.elf|fgrep main
#define WEATHER_FUNC_MAIN 0x00100e30 #define WEATHER_FUNC_MAIN 0x00100fc0
// wait_begin address // wait_begin address
#define WEATHER_FUNC_WAIT_BEGIN 0x00100e10 #define WEATHER_FUNC_WAIT_BEGIN 0x00100fa0
// wait_end address // wait_end address
#define WEATHER_FUNC_WAIT_END 0x00100e20 #define WEATHER_FUNC_WAIT_END 0x00100fb0
// vptr_panic address (only exists in guarded variant) // vptr_panic address (only exists in guarded variant)
#define WEATHER_FUNC_VPTR_PANIC 0x00101170 #define WEATHER_FUNC_VPTR_PANIC 0x00101460
// number of main loop iterations to trace // number of main loop iterations to trace
// (determines trace length and therefore fault-space width) // (determines trace length and therefore fault-space width)
#define WEATHER_NUMITER_TRACING 4 #define WEATHER_NUMITER_TRACING 4
@ -67,10 +67,10 @@
#define WEATHER_NUMINSTR_AFTER 10232 #define WEATHER_NUMINSTR_AFTER 10232
// data/BSS begin: // data/BSS begin:
// nm -C guarded.elf|fgrep ___DATA_START__ // nm -C guarded.elf|fgrep ___DATA_START__
#define WEATHER_DATA_START 0x00101b98 #define WEATHER_DATA_START 0x00101b94
// data/BSS end: // data/BSS end:
// nm -C guarded.elf|fgrep ___BSS_END__ // nm -C guarded.elf|fgrep ___BSS_END__
#define WEATHER_DATA_END 0x001034cc #define WEATHER_DATA_END 0x001034b8
// text begin: // text begin:
// nm -C guarded.elf|fgrep ___TEXT_START__ // nm -C guarded.elf|fgrep ___TEXT_START__
#define WEATHER_TEXT_START 0x00100000 #define WEATHER_TEXT_START 0x00100000
@ -82,13 +82,13 @@
// main() address: // main() address:
// nm -C plausibility.elf|fgrep main // nm -C plausibility.elf|fgrep main
#define WEATHER_FUNC_MAIN 0x00100e60 #define WEATHER_FUNC_MAIN 0x00100fd0
// wait_begin address // wait_begin address
#define WEATHER_FUNC_WAIT_BEGIN 0x00100e40 #define WEATHER_FUNC_WAIT_BEGIN 0x00100fb0
// wait_end address // wait_end address
#define WEATHER_FUNC_WAIT_END 0x00100e50 #define WEATHER_FUNC_WAIT_END 0x00100fc0
// vptr_panic address (only exists in guarded variant) // vptr_panic address (only exists in guarded variant)
#define WEATHER_FUNC_VPTR_PANIC 0x001012d0 #define WEATHER_FUNC_VPTR_PANIC 0x00101500
// number of main loop iterations to trace // number of main loop iterations to trace
// (determines trace length and therefore fault-space width) // (determines trace length and therefore fault-space width)
#define WEATHER_NUMITER_TRACING 4 #define WEATHER_NUMITER_TRACING 4
@ -103,16 +103,16 @@
#define WEATHER_NUMINSTR_AFTER 10232 #define WEATHER_NUMINSTR_AFTER 10232
// data/BSS begin: // data/BSS begin:
// nm -C plausibility.elf|fgrep ___DATA_START__ // nm -C plausibility.elf|fgrep ___DATA_START__
#define WEATHER_DATA_START 0x00101dd8 #define WEATHER_DATA_START 0x00101c94
// data/BSS end: // data/BSS end:
// nm -C plausibility.elf|fgrep ___BSS_END__ // nm -C plausibility.elf|fgrep ___BSS_END__
#define WEATHER_DATA_END 0x0010370c #define WEATHER_DATA_END 0x001035b8
// text begin: // text begin:
// nm -C plausibility.elf|fgrep ___TEXT_START__ // nm -C plausibility.elf|fgrep ___TEXT_START__
#define WEATHER_TEXT_START 0x00100000 #define WEATHER_TEXT_START 0x00100000
// text end: // text end:
// nm -C plausibility.elf|fgrep ___TEXT_END__ // nm -C plausibility.elf|fgrep ___TEXT_END__
#define WEATHER_TEXT_END 0x00101c1b #define WEATHER_TEXT_END 0x00101adb
#else #else
#error Unknown WEATHERMONITOR_VARIANT #error Unknown WEATHERMONITOR_VARIANT