From 3e4c5a6261770bced301b5e74233e7866166ea5b Mon Sep 17 00:00:00 2001
From: Christian Krinitsin <mail@krinitsin.com>
Date: Sun, 1 Jun 2025 21:35:14 +0200
Subject: clean up repository

---
 classification/test_input/mail_semantic_2 | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 classification/test_input/mail_semantic_2

(limited to 'classification/test_input/mail_semantic_2')

diff --git a/classification/test_input/mail_semantic_2 b/classification/test_input/mail_semantic_2
deleted file mode 100644
index 4c78171d..00000000
--- a/classification/test_input/mail_semantic_2
+++ /dev/null
@@ -1,15 +0,0 @@
-x86 BLSMSK semantic bug
-description = """The result of instruction BLSMSK is different with from the CPU. The value of CF is different."""
-reproduce = """1. Compile this code
-void main() {
-    asm("mov rax, 0x65b2e276ad27c67");
-    asm("mov rbx, 0x62f34955226b2b5d");
-    asm("blsmsk eax, ebx");
-}
-
-2. Execute and compare the result with the CPU.
-    - CPU
-        - CF = 0
-    - QEMU
-        - CF = 1"""
-additional = """This bug is discovered by research conducted by KAIST SoftSec."""
-- 
cgit 1.4.1