From bc1e43ea95b9455cdccee442db77bc5fafd3dcc6 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Tue, 26 May 2020 22:11:32 +0200
Subject: tests for kvx

---
 test/mppa/hardtest.sh | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100755 test/mppa/hardtest.sh

(limited to 'test/mppa/hardtest.sh')

diff --git a/test/mppa/hardtest.sh b/test/mppa/hardtest.sh
deleted file mode 100755
index 6321bc7d..00000000
--- a/test/mppa/hardtest.sh
+++ /dev/null
@@ -1,6 +0,0 @@
-#!/bin/bash
-# Tests the validity of the tests, in hardware
-
-source do_test.sh
-
-do_test hardtest 1
-- 
cgit