raw numbers from error injection evaluations

diff --git a/Robust/src/Benchmarks/SSJava/EyeTracking/eval/errinj-history11111.txt b/Robust/src/Benchmarks/SSJava/EyeTracking/eval/errinj-history11111.txt
new file mode 100644 (file)
index 0000000..2b0fc05
--- /dev/null
+++ b/Robust/src/Benchmarks/SSJava/EyeTracking/eval/errinj-history11111.txt
@@ -0,0 +1,762 @@
+idx 11111
+inj 66
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11112
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+2
+idx 11113
+inj 49
+inj SSJAVA:
+inj eyePosition=(52,54)
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj 50
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+idx 11114
+NO DIFF
+idx 11115
+NO DIFF
+idx 11116
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11117
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11118
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11119
+NO DIFF
+idx 11120
+NO DIFF
+idx 11121
+NO DIFF
+idx 11122
+NO DIFF
+idx 11123
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11124
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+2
+idx 11125
+NO DIFF
+idx 11126
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11127
+NO DIFF
+idx 11128
+NO DIFF
+idx 11129
+NO DIFF
+idx 11130
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11131
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11132
+inj 62
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11133
+NO DIFF
+idx 11134
+NO DIFF
+idx 11135
+inj 23
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj eyePosition=(120,78)
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+51
+idx 11136
+NO DIFF
+idx 11137
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11138
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+2d1
+idx 11139
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11140
+NO DIFF
+idx 11141
+NO DIFF
+idx 11142
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11143
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11144
+NO DIFF
+idx 11145
+NO DIFF
+idx 11146
+NO DIFF
+idx 11147
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11148
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+2
+idx 11149
+NO DIFF
+idx 11150
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11151
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11152
+NO DIFF
+idx 11153
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj 1
+idx 11154
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11155
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11156
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11157
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11158
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11159
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+idx 11160
+NO DIFF
+idx 11161
+NO DIFF
+idx 11162
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11163
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11164
+NO DIFF
+idx 11165
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11166
+NO DIFF
+idx 11167
+NO DIFF
+idx 11168
+NO DIFF
+idx 11169
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+2
+idx 11170
+NO DIFF
+idx 11171
+NO DIFF
+idx 11172
+inj 41
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj eyePosition=(94,78)
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj 42
+idx 11173
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11174
+NO DIFF
+idx 11175
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+2d1
+idx 11176
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11177
+NO DIFF
+idx 11178
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11179
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11180
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11181
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11182
+NO DIFF
+idx 11183
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11184
+inj 31
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj 32
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+idx 11185
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11186
+NO DIFF
+idx 11187
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+2
+idx 11188
+NO DIFF
+idx 11189
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11190
+NO DIFF
+idx 11191
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+idx 11192
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11193
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+2
+idx 11194
+NO DIFF
+idx 11195
+NO DIFF
+idx 11196
+NO DIFF
+idx 11197
+NO DIFF
+idx 11198
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11199
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11200
+NO DIFF
+idx 11201
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11202
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11203
+inj 0
+inj 1
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+idx 11204
+NO DIFF
+idx 11205
+NO DIFF
+idx 11206
+NO DIFF
+idx 11207
+NO DIFF
+idx 11208
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+NO DIFF
+idx 11209
+inj 0
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+2
+idx 11210
+inj 67
+inj SSJAVA:
+inj 68
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:
+inj SSJAVA:

diff --git a/Robust/src/Benchmarks/SSJava/JavaNator/eval/errinj-history10000.txt b/Robust/src/Benchmarks/SSJava/JavaNator/eval/errinj-history10000.txt
new file mode 100644 (file)
index 0000000..e2e7e74
--- /dev/null
+++ b/Robust/src/Benchmarks/SSJava/JavaNator/eval/errinj-history10000.txt
@@ -0,0 +1,283 @@
+idx 10000
+inj processIOCommand:
+NO DIFF
+idx 10001
+NO DIFF
+idx 10002
+inj processIOCommand:
+241
+idx 10003
+inj setSpeedRight:
+NO DIFF
+idx 10004
+inj MotorControl:
+NO DIFF
+idx 10005
+inj 1
+11
+idx 10006
+NO DIFF
+idx 10007
+inj processIOCommand:
+NO DIFF
+idx 10008
+inj setSpeedLeft:
+158
+idx 10009
+inj setSpeedTurnRight:
+57
+idx 10010
+inj processIOCommand:
+idx 10011
+inj setSpeedRight:
+110
+idx 10012
+inj setSpeedTurnLeft:
+63
+idx 10013
+inj setSpeedTurnLeft:
+47
+idx 10014
+inj MotorControl:
+83
+idx 10015
+inj setSpeedTurnLeft:
+199
+idx 10016
+inj processIOCommand:
+NO DIFF
+idx 10017
+inj MotorControl:
+227
+idx 10018
+inj setSpeedLeft:
+119
+idx 10019
+inj 0
+3
+idx 10020
+inj setSpeedLeft:
+224
+idx 10021
+inj processIOCommand:
+NO DIFF
+idx 10022
+NO DIFF
+idx 10023
+inj processIO:
+NO DIFF
+idx 10024
+inj MotorControl:
+NO DIFF
+idx 10025
+inj 4
+35
+idx 10026
+inj processIOCommand:
+NO DIFF
+idx 10027
+inj processIOCommand:
+19
+idx 10028
+inj processIOCommand:
+NO DIFF
+idx 10029
+NO DIFF
+idx 10030
+inj processIOCommand:
+NO DIFF
+idx 10031
+inj setSpeedLeft:
+7
+idx 10032
+inj 11
+104
+idx 10033
+NO DIFF
+idx 10034
+inj setSpeedLeft:
+119
+idx 10035
+inj setSpeedRight:
+182
+idx 10036
+inj MotorControl:
+83
+idx 10037
+inj setSpeedTurnRight:
+65
+idx 10038
+inj processIOCommand:
+44,49d43
+idx 10039
+inj processIOCommand:
+36
+idx 10040
+inj processIOCommand:
+19
+idx 10041
+inj setSpeedRight:
+88
+idx 10042
+NO DIFF
+idx 10043
+inj setSpeedLeft:
+86
+idx 10044
+inj MotorControl:
+NO DIFF
+idx 10045
+inj processIOCommand:
+NO DIFF
+idx 10046
+inj processIOCommand:
+NO DIFF
+idx 10047
+inj setSpeedLeft:
+108
+idx 10048
+inj setSpeedTurnLeft:
+39
+idx 10049
+inj setSpeedRight:
+NO DIFF
+idx 10050
+inj setSpeedRight:
+246
+idx 10051
+inj processIOCommand:
+NO DIFF
+idx 10052
+inj MotorControl:
+NO DIFF
+idx 10053
+inj processIOCommand:
+28
+idx 10054
+inj processIOCommand:
+52,57d51
+idx 10055
+inj setSpeedTurnRight:
+65
+idx 10056
+inj setSpeedLeft:
+15
+idx 10057
+inj setSpeedTurnRight:
+73
+idx 10058
+inj setSpeedTurnRight:
+41
+idx 10059
+NO DIFF
+idx 10060
+inj processIO:
+NO DIFF
+idx 10061
+inj processIOCommand:
+NO DIFF
+idx 10062
+inj 15
+131
+idx 10063
+inj setSpeedRight:
+25
+idx 10064
+inj processIOCommand:
+idx 10065
+inj setSpeedTurnLeft:
+92
+idx 10066
+inj setSpeedLeft:
+244
+idx 10067
+inj processIOCommand:
+NO DIFF
+idx 10068
+inj 2
+19
+idx 10069
+NO DIFF
+idx 10070
+inj processIOCommand:
+idx 10071
+inj processIOCommand:
+NO DIFF
+idx 10072
+NO DIFF
+idx 10073
+inj 11
+104
+idx 10074
+NO DIFF
+idx 10075
+inj setSpeedRight:
+33
+idx 10076
+inj setSpeedLeft:
+NO DIFF
+idx 10077
+inj processIOCommand:
+idx 10078
+inj processIOCommand:
+NO DIFF
+idx 10079
+inj setSpeedTurnLeft:
+63
+idx 10080
+inj processIO:
+NO DIFF
+idx 10081
+inj processIOCommand:
+NO DIFF
+idx 10082
+inj processIOCommand:
+60
+idx 10083
+inj processIOCommand:
+12
+idx 10084
+inj setSpeedRight:
+174
+idx 10085
+inj setSpeedLeft:
+172
+idx 10086
+inj MotorControl:
+NO DIFF
+idx 10087
+inj processIOCommand:
+67
+idx 10088
+inj processIOCommand:
+28
+idx 10089
+inj processIOCommand:
+NO DIFF
+idx 10090
+inj processIO:
+221
+idx 10091
+inj setSpeedLeft:
+NO DIFF
+idx 10092
+inj processIOCommand:
+52
+idx 10093
+inj processIO:
+NO DIFF
+idx 10094
+NO DIFF
+idx 10095
+NO DIFF
+idx 10096
+inj setSpeedLeft:
+180
+idx 10097
+inj processIOCommand:
+idx 10098
+inj 28
+256
+idx 10099
+inj processIOCommand:
+NO DIFF