restructure results

1 files changed, 0 insertions, 47 deletions

diff --git a/results/classifier/semantic-bugs/instruction/1756927 b/results/classifier/semantic-bugs/instruction/1756927
deleted file mode 100644
index 3ec2692a..00000000
--- a/results/classifier/semantic-bugs/instruction/1756927
+++ /dev/null
@@ -1,47 +0,0 @@
-instruction: 0.816
-device: 0.753
-boot: 0.666
-mistranslation: 0.622
-semantic: 0.554
-graphic: 0.551
-network: 0.531
-vnc: 0.523
-socket: 0.491
-assembly: 0.407
-KVM: 0.400
-other: 0.370
-
-ARMv7 LPAE: IFSR doesn't have the LPAE bit in case of BKPT
-
-When a user application triggers a 'bkpt' instruction while LPAE is used, the bit [9] of IFSR is not correctly set during the prefetch abort exception.
-
-You'll find attached a minimal example to reproduce the issue (just run 'make all').
-The output I get is:
-
-supervisor
-user
-prefetch
-short-descriptor
-
-The last entry should read 'long-descriptor'.
-
-
-Qemu revision: 48ae1f60d8c9a770e6da64407984d84e25253c69
-Ubuntu verison: 16.04 LTS
-Cross Compiler: gcc linaro 6.3.1-2017.02-x86_64_arm-eabi
-
-
-
-I've just sent this patchset:
-http://<email address hidden>/
-which should fix this bug and a couple of others that I noticed with our debug exception handling while I was doing that.
-
-
-thanks Peter ! Any news on the review ?
-
-The patches are in master now.
-
-
-Hi Peter,
-we tested the fix and it work correctly now, thank you very much !
-