From 39693b7958514966412a1b9cd6ceb00c79f0d41f Mon Sep 17 00:00:00 2001 From: Alessandro Comodi Date: Thu, 10 Jan 2019 10:02:08 +0100 Subject: [PATCH] ps7_int: rename fuzzer ps7 --> ps7_int Signed-off-by: Alessandro Comodi --- fuzzers/005-tilegrid/{ps7 => ps7_int}/Makefile | 0 fuzzers/005-tilegrid/{ps7 => ps7_int}/generate.tcl | 0 fuzzers/005-tilegrid/{ps7 => ps7_int}/top.py | 0 3 files changed, 0 insertions(+), 0 deletions(-) rename fuzzers/005-tilegrid/{ps7 => ps7_int}/Makefile (100%) rename fuzzers/005-tilegrid/{ps7 => ps7_int}/generate.tcl (100%) rename fuzzers/005-tilegrid/{ps7 => ps7_int}/top.py (100%) diff --git a/fuzzers/005-tilegrid/ps7/Makefile b/fuzzers/005-tilegrid/ps7_int/Makefile similarity index 100% rename from fuzzers/005-tilegrid/ps7/Makefile rename to fuzzers/005-tilegrid/ps7_int/Makefile diff --git a/fuzzers/005-tilegrid/ps7/generate.tcl b/fuzzers/005-tilegrid/ps7_int/generate.tcl similarity index 100% rename from fuzzers/005-tilegrid/ps7/generate.tcl rename to fuzzers/005-tilegrid/ps7_int/generate.tcl diff --git a/fuzzers/005-tilegrid/ps7/top.py b/fuzzers/005-tilegrid/ps7_int/top.py similarity index 100% rename from fuzzers/005-tilegrid/ps7/top.py rename to fuzzers/005-tilegrid/ps7_int/top.py