From 8e046240f50d54cc997cf57bb28ae163cb9776d9 Mon Sep 17 00:00:00 2001 From: Jacob Lifshay Date: Thu, 1 Sep 2022 23:06:56 -0700 Subject: [PATCH] rename proof_decoder*.py -> test_decoder*.py so it gets run by pytest --- .../decoder/formal/{proof_decoder.py => test_decoder.py} | 0 .../decoder/formal/{proof_decoder2.py => test_decoder2.py} | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename src/openpower/decoder/formal/{proof_decoder.py => test_decoder.py} (100%) rename src/openpower/decoder/formal/{proof_decoder2.py => test_decoder2.py} (100%) diff --git a/src/openpower/decoder/formal/proof_decoder.py b/src/openpower/decoder/formal/test_decoder.py similarity index 100% rename from src/openpower/decoder/formal/proof_decoder.py rename to src/openpower/decoder/formal/test_decoder.py diff --git a/src/openpower/decoder/formal/proof_decoder2.py b/src/openpower/decoder/formal/test_decoder2.py similarity index 100% rename from src/openpower/decoder/formal/proof_decoder2.py rename to src/openpower/decoder/formal/test_decoder2.py -- 2.30.2