Adding some text in the documentation related to integration tests

Modify tests to pass following modifications in SURF:
-> replay multiple has a margnial change of completion time
-> duplicated the test with maxmin-bench to get one smaller instance with all debug output
   and one with the same large instance.
Modified debug messages in SURF not to include pointers.

diff --git a/teshsuite/surf/maxmin_bench/maxmin_bench.tesh b/teshsuite/surf/maxmin_bench/maxmin_bench_large.tesh
similarity index 100%
rename from teshsuite/surf/maxmin_bench/maxmin_bench.tesh
rename to teshsuite/surf/maxmin_bench/maxmin_bench_large.tesh

diff --git a/teshsuite/surf/maxmin_bench/maxmin_bench_medium.tesh b/teshsuite/surf/maxmin_bench/maxmin_bench_medium.tesh
new file mode 100644 (file)
index 0000000..4a2fb55
--- /dev/null
+++ b/teshsuite/surf/maxmin_bench/maxmin_bench_medium.tesh
@@ -0,0 +1,6 @@
+#! ./tesh
+
+! output display
+$ $SG_TEST_EXENV ${bindir:=.}/maxmin_bench
+> Starting to solve
+> One shot execution time for a total of 2000 constraints, 2000 variables with 80 active constraint each : 66293 microsecondes