From af461a3690bf71e7761078657f3aadc3a6f8039f Mon Sep 17 00:00:00 2001
From: Daniil Gentili <daniil@daniil.it>
Date: Mon, 23 Oct 2023 22:27:16 +0200
Subject: [PATCH] Fix

---
 bugs/1_infection.sh | 2 +-
 php.ini             | 1 -
 run.sh              | 3 +--
 3 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/bugs/1_infection.sh b/bugs/1_infection.sh
index 6388a22..30d6c38 100755
--- a/bugs/1_infection.sh
+++ b/bugs/1_infection.sh
@@ -18,7 +18,7 @@ cp $standalone .
 
 echo "About to run the standalone test"
 
-docker run -v $PWD:/app --rm --privileged -it asan_tests /usr/bin/php /app/2_infection.php
+docker run -v $PWD:/app --rm --privileged -it asan_tests /usr/bin/php /app/1_infection.php
 
 echo "About to run the testsuite"
 
diff --git a/php.ini b/php.ini
index 86df6bc..0e5e21a 100644
--- a/php.ini
+++ b/php.ini
@@ -2,7 +2,6 @@ memory_limit = -1
 zend.assertions = 1
 display_errors = On
 display_startup_errors = On
-extension=mbstring
 [opcache]
 zend_extension=opcache
 opcache.memory_consumption=4096M
diff --git a/run.sh b/run.sh
index 8887179..0f10de9 100755
--- a/run.sh
+++ b/run.sh
@@ -3,6 +3,5 @@
 docker build . -t asan_tests
 
 for f in bugs/*sh; do
-    f=$(basename $f)
-    docker run -v $PWD/bugs:/app --rm --privileged -it asan_tests /app/$f || echo "!!! $f failed !!!"
+    $f || echo "!!! $f failed !!!"
 done
\ No newline at end of file