From 0ab53958e2eaf95dcba4b1dfcb5b9bec3716b924 Mon Sep 17 00:00:00 2001
From: Le Bao Hiep <baohiep2013@gmail.com>
Date: Thu, 14 Sep 2023 15:16:42 +0700
Subject: [PATCH] Allow CLANGX and HASK to fail

---
 test-tier3/run | 1 +
 1 file changed, 1 insertion(+)

diff --git a/test-tier3/run b/test-tier3/run
index 19f5690e..23454bc0 100755
--- a/test-tier3/run
+++ b/test-tier3/run
@@ -13,6 +13,7 @@ sed -i '/^#include <cstdio>/a#include <cstdint>' /usr/include/testlib_themis_cms
 mkdir /judge
 cd /judge || exit
 curl -L https://github.com/VNOI-Admin/judge-server/archive/master.tar.gz | tar -xz --strip-components=1
+sed -i "s/ALLOW_FAIL = {'GASARM', 'OBJC'}/ALLOW_FAIL = {'GASARM', 'OBJC', 'CLANGX', 'HASK'}/g" .docker.test.py
 python3 -m venv --prompt=DMOJ env
 env/bin/pip3 install -e .
 runuser -u judge -w PATH -- bash -c '. ~/.profile; /judge/env/bin/python3 -u .docker.test.py'