From 1ad8942d98f70aa237f2f2f86dbb0caa720ddf0c Mon Sep 17 00:00:00 2001 From: Jacob Lifshay Date: Mon, 9 May 2022 18:41:54 -0700 Subject: [PATCH] rename proof_clz.py -> test_clz.py so it's run by pytest --- src/nmutil/formal/{proof_clz.py => test_clz.py} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename src/nmutil/formal/{proof_clz.py => test_clz.py} (100%) diff --git a/src/nmutil/formal/proof_clz.py b/src/nmutil/formal/test_clz.py similarity index 100% rename from src/nmutil/formal/proof_clz.py rename to src/nmutil/formal/test_clz.py -- 2.30.2