diff options
Diffstat (limited to 'results/classifier/105/device/2517')
| -rw-r--r-- | results/classifier/105/device/2517 | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/results/classifier/105/device/2517 b/results/classifier/105/device/2517 new file mode 100644 index 000000000..18554e35d --- /dev/null +++ b/results/classifier/105/device/2517 @@ -0,0 +1,14 @@ +device: 0.724 +instruction: 0.537 +mistranslation: 0.295 +graphic: 0.266 +boot: 0.194 +other: 0.172 +KVM: 0.104 +vnc: 0.098 +semantic: 0.091 +network: 0.013 +assembly: 0.004 +socket: 0.001 + +destroying a vCPU will leak its AddressSpaces |