From 91a62e5792d982b143ff83203b97edda95ef08b8 Mon Sep 17 00:00:00 2001 From: Hamed Date: Mon, 17 Jul 2017 17:21:55 -0700 Subject: [PATCH] test file name convention ... --- src/Test/{buildconstraints.c => testbuildconstraints.c} | 0 src/Test/{elemlt.c => testelementlt.c} | 0 src/Test/{elemequalityunsat.c => testelemequalityunsat.c} | 0 src/Test/{funcencoding.c => testfuncencoding.c} | 0 4 files changed, 0 insertions(+), 0 deletions(-) rename src/Test/{buildconstraints.c => testbuildconstraints.c} (100%) rename src/Test/{elemlt.c => testelementlt.c} (100%) rename src/Test/{elemequalityunsat.c => testelemequalityunsat.c} (100%) rename src/Test/{funcencoding.c => testfuncencoding.c} (100%) diff --git a/src/Test/buildconstraints.c b/src/Test/testbuildconstraints.c similarity index 100% rename from src/Test/buildconstraints.c rename to src/Test/testbuildconstraints.c diff --git a/src/Test/elemlt.c b/src/Test/testelementlt.c similarity index 100% rename from src/Test/elemlt.c rename to src/Test/testelementlt.c diff --git a/src/Test/elemequalityunsat.c b/src/Test/testelemequalityunsat.c similarity index 100% rename from src/Test/elemequalityunsat.c rename to src/Test/testelemequalityunsat.c diff --git a/src/Test/funcencoding.c b/src/Test/testfuncencoding.c similarity index 100% rename from src/Test/funcencoding.c rename to src/Test/testfuncencoding.c -- 2.34.1