1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
#! /bin/sh
set -e
echo Generating dataset
test-mvrtree-Generator 1000 > mix
echo Creating new MVR-Tree and Querying
test-mvrtree-MVRTreeLoad mix tree 20 intersection > res
echo Running exhaustive search
test-mvrtree-Exhaustive mix intersection > res2
echo Comparing results
sort -n res > a
sort -n res2 > b
set +e
if diff a b; then
echo "Same results with exhaustive search. Everything seems fine."
echo Results: `wc -l a`
rm -rf a b res res2 tree.*
else
echo "PROBLEM! We got different results from exhaustive search!"
exit 1
fi
|
