From fddc301f7b334fd06f7cfd65ff952d8a5301a74e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= Date: Wed, 15 Jan 2020 21:11:04 +0100 Subject: [PATCH] Rename test cases, 'verification' was renamed to 'bug hunting' --- test/{verify => bug-hunting}/itc.py | 0 test/{verify => bug-hunting}/juliet.py | 0 test/testsuites/{danmar-verify => danmar}/divbyzero.cpp | 0 test/testsuites/{danmar-verify => danmar}/uninit.c | 0 4 files changed, 0 insertions(+), 0 deletions(-) rename test/{verify => bug-hunting}/itc.py (100%) rename test/{verify => bug-hunting}/juliet.py (100%) rename test/testsuites/{danmar-verify => danmar}/divbyzero.cpp (100%) rename test/testsuites/{danmar-verify => danmar}/uninit.c (100%) diff --git a/test/verify/itc.py b/test/bug-hunting/itc.py similarity index 100% rename from test/verify/itc.py rename to test/bug-hunting/itc.py diff --git a/test/verify/juliet.py b/test/bug-hunting/juliet.py similarity index 100% rename from test/verify/juliet.py rename to test/bug-hunting/juliet.py diff --git a/test/testsuites/danmar-verify/divbyzero.cpp b/test/testsuites/danmar/divbyzero.cpp similarity index 100% rename from test/testsuites/danmar-verify/divbyzero.cpp rename to test/testsuites/danmar/divbyzero.cpp diff --git a/test/testsuites/danmar-verify/uninit.c b/test/testsuites/danmar/uninit.c similarity index 100% rename from test/testsuites/danmar-verify/uninit.c rename to test/testsuites/danmar/uninit.c