Failed test bash -c "./test 6"

[github-actions]

This issue is generated by Vulcan for commit: 60f16e0

Coverage: 100.00 percent

Click here for a list of target sources

example.c

There is(are) 1/7 failed test(s)

Click here for the failed test commands

1. [FAILED] bash -c "./test 6"

---

Click here for FL information

Clicking on the link, you take the page with code highlighted.

• Here is most suspicious code piece.
  

  Vulcan-Demo-Basic/example.c

  Line 16 in 60f16e0

  printf("fix here\n");

  
  Recommend debugging here.
  Click below the collapsed section for more FL information.

Click here for more FL

---

Suspicious score: 0.50

Vulcan-Demo-Basic/example.c

Line 15 in 60f16e0

} else if (x > z) {

---

Suspicious score: 0.33

Vulcan-Demo-Basic/example.c

Line 13 in 60f16e0

if (x > y) {

---

Suspicious score: 0.14

Vulcan-Demo-Basic/example.c

Line 4 in 60f16e0

int mid(int x, int y, int z){

---

Suspicious score: 0.14

Vulcan-Demo-Basic/example.c

Line 5 in 60f16e0

int ret = z;

---

25 patch(es) generaetd by vulcan

plausible patch diff info

---

--- __backup0	2023-08-31 02:14:29.459693000 +0000
+++ example.c	2023-08-31 02:14:40.519693000 +0000
@@ -12,9 +12,10 @@
     } else {
         if (x > y) {
             ret = y;
-        } else if (x > z) {
+        } else { ret = (y);
+if (x > z) {
             printf("fix here\n");
         }
-    }
+    }}
     return ret;
-}
\ No newline at end of file
+}

---

--- __backup0	2023-08-31 02:14:29.459693000 +0000
+++ example.c	2023-08-31 02:14:40.509693000 +0000
@@ -10,11 +10,11 @@
             ret = x;
         }
     } else {
-        if (x > y) {
-            ret = y;
-        } else if (x > z) {
-            printf("fix here\n");
-        }
+        if ((x > y) || (y < 5)) {
+    ret = y;
+} else if (x > z) {
+    printf("fix here\n");
+}
     }
     return ret;
-}
\ No newline at end of file
+}

---

--- __backup0	2023-08-31 02:14:29.459693000 +0000
+++ example.c	2023-08-31 02:14:40.509693000 +0000
@@ -10,11 +10,11 @@
             ret = x;
         }
     } else {
-        if (x > y) {
-            ret = y;
-        } else if (x > z) {
-            printf("fix here\n");
-        }
+        if ((x > y) || (y != 5)) {
+    ret = y;
+} else if (x > z) {
+    printf("fix here\n");
+}
     }
     return ret;
-}
\ No newline at end of file
+}

---

--- __backup0	2023-08-31 02:14:29.459693000 +0000
+++ example.c	2023-08-31 02:14:40.509693000 +0000
@@ -10,11 +10,11 @@
             ret = x;
         }
     } else {
-        if (x > y) {
-            ret = y;
-        } else if (x > z) {
-            printf("fix here\n");
-        }
+        if ((x > y) || (z < 5)) {
+    ret = y;
+} else if (x > z) {
+    printf("fix here\n");
+}
     }
     return ret;
-}
\ No newline at end of file
+}

---

--- __backup0	2023-08-31 02:14:29.459693000 +0000
+++ example.c	2023-08-31 02:14:40.499693000 +0000
@@ -13,8 +13,9 @@
         if (x > y) {
             ret = y;
         } else if (x > z) {
-            printf("fix here\n");
+          ret = x;
+printf("fix here\n");
         }
     }
     return ret;
-}
\ No newline at end of file
+}

---

--- __backup0	2023-08-31 02:14:29.459693000 +0000
+++ example.c	2023-08-31 02:14:40.519693000 +0000
@@ -10,11 +10,11 @@
             ret = x;
         }
     } else {
-        if (x > y) {
-            ret = y;
-        } else if (x > z) {
-            printf("fix here\n");
-        }
+        if ((x > y) || (1)) {
+    ret = y;
+} else if (x > z) {
+    printf("fix here\n");
+}
     }
     return ret;
-}
\ No newline at end of file
+}

---

--- __backup0	2023-08-31 02:14:29.459693000 +0000
+++ example.c	2023-08-31 02:14:40.519693000 +0000
@@ -10,11 +10,11 @@
             ret = x;
         }
     } else {
-        if (x > y) {
-            ret = y;
-        } else if (x > z) {
-            printf("fix here\n");
-        }
+        if ((x > y) || (ret == 3)) {
+    ret = y;
+} else if (x > z) {
+    printf("fix here\n");
+}
     }
     return ret;
-}
\ No newline at end of file
+}

---

--- __backup0	2023-08-31 02:14:29.459693000 +0000
+++ example.c	2023-08-31 02:14:40.499693000 +0000
@@ -10,11 +10,12 @@
             ret = x;
         }
     } else {
-        if (x > y) {
+      ret = x;
+if (x > y) {
             ret = y;
         } else if (x > z) {
             printf("fix here\n");
         }
     }
     return ret;
-}
\ No newline at end of file
+}

---

--- __backup0	2023-08-31 02:14:29.459693000 +0000
+++ example.c	2023-08-31 02:14:40.509693000 +0000
@@ -10,11 +10,12 @@
             ret = x;
         }
     } else {
-        if (x > y) {
+      ret = (x);
+if (x > y) {
             ret = y;
         } else if (x > z) {
             printf("fix here\n");
         }
     }
     return ret;
-}
\ No newline at end of file
+}

---

--- __backup0	2023-08-31 02:14:29.459693000 +0000
+++ example.c	2023-08-31 02:14:40.509693000 +0000
@@ -10,11 +10,12 @@
             ret = x;
         }
     } else {
-        if (x > y) {
+      ret = (y);
+if (x > y) {
             ret = y;
         } else if (x > z) {
             printf("fix here\n");
         }
     }
     return ret;
-}
\ No newline at end of file
+}