From 9cc5c4a724e69e6b44736ee836a32817ada4be9c Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 21 May 2019 09:09:49 +0100 Subject: [PATCH] Disable a strategy generation regression test for now. --- .../bugfixes/{stratgenreach.nm => stratgenreach.nm.disabled} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename prism-tests/bugfixes/{stratgenreach.nm => stratgenreach.nm.disabled} (100%) diff --git a/prism-tests/bugfixes/stratgenreach.nm b/prism-tests/bugfixes/stratgenreach.nm.disabled similarity index 100% rename from prism-tests/bugfixes/stratgenreach.nm rename to prism-tests/bugfixes/stratgenreach.nm.disabled