diff options
Diffstat (limited to 'results/classifier/118/review/450')
| -rw-r--r-- | results/classifier/118/review/450 | 61 |
1 files changed, 61 insertions, 0 deletions
diff --git a/results/classifier/118/review/450 b/results/classifier/118/review/450 new file mode 100644 index 000000000..5430d59ac --- /dev/null +++ b/results/classifier/118/review/450 @@ -0,0 +1,61 @@ +mistranslation: 0.963 +network: 0.854 +device: 0.847 +performance: 0.816 +semantic: 0.553 +debug: 0.527 +permissions: 0.465 +graphic: 0.440 +files: 0.412 +architecture: 0.383 +register: 0.347 +peripherals: 0.313 +boot: 0.283 +assembly: 0.272 +VMM: 0.211 +i386: 0.177 +arm: 0.176 +ppc: 0.156 +socket: 0.140 +hypervisor: 0.133 +x86: 0.127 +TCG: 0.125 +user-level: 0.124 +risc-v: 0.121 +virtual: 0.115 +PID: 0.096 +kernel: 0.087 +vnc: 0.065 +KVM: 0.035 +-------------------- +performance: 0.429 +debug: 0.362 +kernel: 0.221 +assembly: 0.150 +device: 0.124 +network: 0.117 +x86: 0.063 +virtual: 0.062 +hypervisor: 0.051 +peripherals: 0.038 +KVM: 0.035 +files: 0.025 +architecture: 0.023 +user-level: 0.013 +permissions: 0.012 +TCG: 0.012 +arm: 0.010 +VMM: 0.009 +semantic: 0.006 +i386: 0.006 +boot: 0.006 +socket: 0.005 +register: 0.004 +risc-v: 0.004 +ppc: 0.004 +PID: 0.004 +vnc: 0.002 +graphic: 0.002 +mistranslation: 0.000 + +sdhci: Assertion wpnum < sd->wpgrps_size failed |