diff options
Diffstat (limited to 'results/classifier/105/device/730')
| -rw-r--r-- | results/classifier/105/device/730 | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/results/classifier/105/device/730 b/results/classifier/105/device/730 deleted file mode 100644 index aa0fd86f..00000000 --- a/results/classifier/105/device/730 +++ /dev/null @@ -1,14 +0,0 @@ -device: 0.379 -instruction: 0.317 -graphic: 0.292 -semantic: 0.241 -mistranslation: 0.109 -other: 0.093 -boot: 0.076 -network: 0.062 -socket: 0.058 -KVM: 0.045 -vnc: 0.043 -assembly: 0.013 - -test-thread-breakpoint fails with some gdb version |