summary refs log tree commit diff stats
path: root/results/classifier/105/device/2356
diff options
context:
space:
mode:
Diffstat (limited to 'results/classifier/105/device/2356')
-rw-r--r--results/classifier/105/device/235628
1 files changed, 28 insertions, 0 deletions
diff --git a/results/classifier/105/device/2356 b/results/classifier/105/device/2356
new file mode 100644
index 000000000..b2e0dca37
--- /dev/null
+++ b/results/classifier/105/device/2356
@@ -0,0 +1,28 @@
+device: 0.876
+instruction: 0.856
+graphic: 0.843
+network: 0.593
+semantic: 0.481
+vnc: 0.480
+socket: 0.442
+assembly: 0.308
+mistranslation: 0.226
+boot: 0.169
+KVM: 0.094
+other: 0.086
+
+assert in stm32l4x5_rcc
+Description of problem:
+The following log reveals it:
+
+```
+qemu-system-aarch64: ../hw/misc/stm32l4x5_rcc.c:546: void rcc_update_cfgr_register(Stm32l4x5RccState *): Assertion `val <= 0b100' failed.
+Aborted
+```
+Steps to reproduce:
+```
+cat << EOF | qemu-system-aarch64 -display \
+none -machine accel=qtest, -m 512M -machine b-l475e-iot01a -qtest stdio
+writeq 0x40021008 0xffffffff
+EOF
+```