regression_testing/run_regression_testing at master · DeepSec-prover/regression_testing · GitHub

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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
#!/bin/bash

# To run the regression testing, the script need to be given 2 arguments:
#   - The version of DeepSec to test
#   - The type of files to tested.
#
# The current version of DeepSec that can be tested:
#   - 1.02
#   - 2.0.0-rc
#   - v2.0.0-beta
#
# The current type of files to be tested
#   - fast
#   - medium
#   - slow
#   - above
#   - all
# The type 'above' cannot be applied for 1.02. The type 'all' run all the other types.

if [ \( \
      \( .$1 != .all \) -a \
      \( .$1 != .1.02 \) -a \
      \( .$1 != .2.0.0-rc \) -a \
      \( .$1 != .v2.0.0-beta \) -a \
      \( .$1 != .fix_authorised_block \) -a \
      \( .$1 != .v2.0.0-beta6 \) -a \
      \( .$1 != .v2.0.0-beta7 \) -a \
      \( .$1 != .v2.0.1 \) -a \
      \( .$1 != .fix_bug_67_to_72 \) -a \
      \( .$1 != .fix_bug_59 \) \
    \) -o \( \
      \( .$2 != .all \) -a  \
      \( .$2 != .slow \) -a \
      \( .$2 != .fast \) -a \
      \( .$2 != .medium \) -a \
      \( .$2 != .above \) \
    \) -o \( \
      \( .$1 = .1.02 \) -a \
      \( .$2 = .above \) \
    \) ]
then
	echo  Usage: run_regression_testing "<version>" "<type>"
	echo  where "<version>" can be all or one of the following 1.02, 2.0.0-rc, v2.0.0-beta, fix_authorised_block, fix_bug_59, v2.0.0-beta6, v2.0.0-beta7, v2.0.1, fix_bug_67_to_72
	echo  where "<type>" can be all, fast, medium, slow, above, all
  echo  Version "1.02" cannot be used with the type "above"
	exit 2
fi

function change_version {
  cd ../deepsec ;
  make clean ;
  git checkout $1;
  git pull ;
  make ;
  cd ../regression_testing ;

  if [ .$1 = .1.02 ]
  then
    scripts/run_test_1.02 $2;
  else
    scripts/run_test_2.0.0 $2 $1;
  fi
}

if [ .$1 = .all ]
then
  change_version 1.02 $2;
  change_version 2.0.0-rc $2;
  change_version v2.0.0-beta $2;
  change_version fix_authorised_block $2;
  change_version fix_bug_59 $2;
  change_version v2.0.0-beta6 $2;
  change_version v2.0.0-beta7 $2;
  change_version v2.0.1 $2;
  change_version fix_bug_67_to_72 $2;
else
  change_version $1 $2
fi