From 1a2d4ccb736f0975141786cd05f0deefd2ad2384 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 4 Nov 2014 20:40:08 +0100
Subject: [PATCH] main test program: move test.ml to sat_solve.ml

---
 Makefile                       | 2 +-
 bench/run                      | 2 +-
 tests/run                      | 2 +-
 util/{test.ml => sat_solve.ml} | 0
 4 files changed, 3 insertions(+), 3 deletions(-)
 rename util/{test.ml => sat_solve.ml} (100%)

diff --git a/Makefile b/Makefile
index cd4a9a4a..69a61af2 100644
--- a/Makefile
+++ b/Makefile
@@ -5,7 +5,7 @@ COMP=ocamlbuild -log $(LOG) -use-ocamlfind -classic-display
 FLAGS=
 DIRS=-Is sat,smt,common,util
 DOC=msat.docdir/index.html
-TEST=test.native
+TEST=sat_solve.native
 
 NAME=msat
 
diff --git a/bench/run b/bench/run
index 9e1391ed..2620a11e 100755
--- a/bench/run
+++ b/bench/run
@@ -1,7 +1,7 @@
 #!/bin/bash
 
 CURDIR=`dirname $0`
-SOLVER="$CURDIR/../test.native"
+SOLVER="$CURDIR/../sat_solve.native"
 
 solvertest () {
     for f in `find -L $1 -name *.cnf -type f`
diff --git a/tests/run b/tests/run
index 9abf6c6f..bc8a66b0 100755
--- a/tests/run
+++ b/tests/run
@@ -1,7 +1,7 @@
 #!/bin/bash
 
 CURDIR=`dirname $0`
-SOLVER="$CURDIR/../test.native"
+SOLVER="$CURDIR/../sat_solve.native"
 
 solvertest () {
     for f in `find -L $1 -name *.cnf -type f`
diff --git a/util/test.ml b/util/sat_solve.ml
similarity index 100%
rename from util/test.ml
rename to util/sat_solve.ml