modelchecker/tests/generate_tests.sh

   1 #!/bin/bash
   2 set -e
   3
   4 # HAIL COPY PASTE AND VIM MACROS!!!!!!!!!!11!11!one!1eleven
   5 find . -not -iname "*.sh" -not -iname "\." | xargs rm
   6
   7 # a=agent
   8 # A=targetagent
   9 # B=targetbox
  10 # b=box
  11 # t=target
  12
  13 ## One block
  14 # Agent
  15 echo '@' > 1.a
  16 # Targetagent
  17 echo '*' > 1.A
  18
  19 ## Two blocks
  20 # Agent free
  21 echo '@ ' > 2.af
  22 echo ' @' > 2.fa
  23 # Agent target
  24 echo '@.' > 2.at
  25 echo '.@' > 2.ta
  26 # Agent box
  27 echo '@$' > 1.ab
  28 echo '\$@' > 1.ba
  29 # Agent boxtarget
  30 echo '@*' > 1.aB
  31 echo '*@' > 1.Ba
  32
  33 # TargetAgent free
  34 echo '+ ' > 2.Af
  35 echo ' +' > 2.fA
  36 # TargetAgent target
  37 echo '+.' > 2.At
  38 echo '.+' > 2.tA
  39 # TargetAgent box
  40 echo '+$' > 1.Ab
  41 echo '$+' > 1.bA
  42 # TargetAgent boxtarget
  43 echo '+*' > 1.AB
  44 echo '*+' > 1.BA
  45
  46 ### Three blocks
  47 # Agent free free
  48 echo '@  ' > 3.aff
  49 echo ' @ ' > 3.faf
  50 echo '  @' > 3.ffa
  51
  52 # Agent free target
  53 echo '@ .' > 3.aft
  54 echo '@. ' > 3.atf
  55 echo '.@ ' > 3.taf
  56 echo ' @.' > 3.fat
  57 echo '. @' > 3.tfa
  58 echo ' .@' > 3.fta
  59
  60 # Agent free box
  61 echo '@ $' > 2.afb
  62 echo '@$ ' > 3.abf
  63 echo '$@ ' > 2.baf
  64 echo ' @$' > 2.fab
  65 echo '$ @' > 2.bfa
  66 echo ' $@' > 3.fba
  67
  68 # Agent free boxtarget
  69 echo '@ *' > 2.afB
  70 echo '@* ' > 3.aBf
  71 echo '*@ ' > 2.Baf
  72 echo ' @*' > 2.faB
  73 echo '* @' > 2.Bfa
  74 echo ' *@' > 3.fBa
  75
  76 # Agent target target
  77 echo '@..' > 3.att
  78 echo '.@.' > 3.tat
  79 echo '..@' > 3.tta
  80
  81 # Agent target box
  82 echo '@$.' > 3.abt
  83 echo '@.$' > 2.atb
  84 echo '.@$' > 2.tab
  85 echo '$@.' > 2.bat
  86 echo '.$@' > 3.tba
  87 echo '$.@' > 2.bta
  88
  89 # Agent target boxtarget
  90 echo '@*.' > 3.aBt
  91 echo '@.*' > 2.atB
  92 echo '.@*' > 2.taB
  93 echo '*@.' > 2.Bat
  94 echo '.*@' > 3.tBa
  95 echo '*.@' > 2.Bta
  96
  97 # Agent box box
  98 echo '@$$' > 1.abb
  99 echo '$@$' > 1.bab
 100 echo '$$@' > 1.bba
 101
 102 # Agent box boxtarget
 103 echo '@*$' > 1.aBb
 104 echo '@$*' > 1.abB
 105 echo '$@*' > 1.baB
 106 echo '*@$' > 1.Bab
 107 echo '$*@' > 1.bBa
 108 echo '*$@' > 1.Bba
 109
 110 # Agent boxtarget boxtarget
 111 echo '@**' > 1.aBB
 112 echo '*@*' > 1.BaB
 113 echo '**@' > 1.BBa
 114
 115 # TargetAgent free free
 116 echo '+  ' > 3.Aff
 117 echo ' + ' > 3.fAf
 118 echo '  +' > 3.ffA
 119
 120 # TargetAgent free target
 121 echo '+ .' > 3.Aft
 122 echo '+. ' > 3.Atf
 123 echo '.+ ' > 3.tAf
 124 echo ' +.' > 3.fAt
 125 echo '. +' > 3.tfA
 126 echo ' .+' > 3.ftA
 127
 128 # TargetAgent free box
 129 echo '+ $' > 2.Afb
 130 echo '+$ ' > 3.Abf
 131 echo '$+ ' > 2.bAf
 132 echo ' +$' > 2.fAb
 133 echo '$ +' > 2.bfA
 134 echo ' $+' > 3.fbA
 135
 136 # TargetAgent free boxtarget
 137 echo '+ *' > 2.AfB
 138 echo '+* ' > 3.ABf
 139 echo '*+ ' > 2.BAf
 140 echo ' +*' > 2.fAB
 141 echo '* +' > 2.BfA
 142 echo ' *+' > 3.fBA
 143
 144 # TargetAgent target target
 145 echo '+..' > 3.Att
 146 echo '.+.' > 3.tAt
 147 echo '..+' > 3.ttA
 148
 149 # TargetAgent target box
 150 echo '+$.' > 3.Abt
 151 echo '+.$' > 2.Atb
 152 echo '.+$' > 2.tAb
 153 echo '$+.' > 2.bAt
 154 echo '.$+' > 3.tbA
 155 echo '$.+' > 2.btA
 156
 157 # TargetAgent target boxtarget
 158 echo '+*.' > 3.ABt
 159 echo '+.*' > 2.AtB
 160 echo '.+*' > 2.tAB
 161 echo '*+.' > 2.BAt
 162 echo '.*+' > 3.tBA
 163 echo '*.+' > 2.BtA
 164
 165 # TargetAgent box box
 166 echo '+$$' > 1.Abb
 167 echo '$+$' > 1.bAb
 168 echo '$$+' > 1.bbA
 169
 170 # TargetAgent box boxtarget
 171 echo '+*$' > 1.ABb
 172 echo '+$*' > 1.AbB
 173 echo '$+*' > 1.bAB
 174 echo '*+$' > 1.BAb
 175 echo '$*+' > 1.bBA
 176 echo '*$+' > 1.BbA
 177
 178 # TargetAgent boxtarget boxtarget
 179 echo '+**' > 1.ABB
 180 echo '*+*' > 1.BAB
 181 echo '**+' > 1.BBA