LuisMarques.eu

D Archeology

invariant

invariant int x = 42;

Test results

2.068.0 Compilation error 
(1): Error: invariant body expected, not 'invariant'
2.067.1 Compilation error 
(1): Error: invariant body expected, not 'invariant'
2.067.0 Compilation error 
(1): Error: invariant body expected, not 'invariant'
2.066.1 Compilation error 
(1): Error: invariant body expected, not 'invariant'
2.066.0 Compilation error 
(1): Error: invariant body expected, not 'invariant'
2.065.0 Compilation error 
(1): Error: use 'immutable' instead of 'invariant'
2.064.2 Compilation error 
(1): Error: use 'immutable' instead of 'invariant'
2.064 Compilation error 
(1): Error: use 'immutable' instead of 'invariant'
2.063.2 OK
2.063 OK
2.062 OK
2.061 OK
2.060 Compilation error 
(1): Error: use of 'invariant' rather than 'immutable' is deprecated
2.059 Compilation error 
(1): use of 'invariant' rather than 'immutable' is deprecated
2.058 Compilation error 
(1): use of 'invariant' rather than 'immutable' is deprecated
2.057 Compilation error 
(1): use of 'invariant' rather than 'immutable' is deprecated
2.056 OK
2.055 OK
2.054 OK
2.053 OK
2.052 OK
2.051 OK
2.050 OK
2.049 OK
2.048 OK
2.047 OK
2.046 OK
2.045 OK
2.044 OK
2.043 OK
2.042 OK
2.041 OK
2.040 OK
2.039 OK
2.038 OK
2.037 OK
2.036 OK
2.035 OK
2.034 OK
2.033 OK
2.032 OK
2.031 OK
2.030 OK
2.029 OK
2.028 OK
2.027 OK
2.026 OK
2.025 OK
2.023 OK
2.022 OK
2.021 OK
2.020 OK
2.019 OK
2.018 OK
2.017 OK
2.016 OK
2.015 OK
2.014 OK
2.013 OK
2.012 OK
2.011 OK
2.010 OK
2.009 OK
2.008 OK
2.007 OK
2.006 OK
2.005 OK
2.004 OK
2.003 OK
2.002 OK
2.001 OK
2.000 OK
1.076 Compilation error 
(1): Error: statement expected to be { }, not int
1.075 Compilation error 
(1): Error: statement expected to be { }, not int
1.074 Compilation error 
(1): statement expected to be { }, not int
1.073 Compilation error 
(1): statement expected to be { }, not int
1.072 Compilation error 
(1): statement expected to be { }, not int
1.071 Compilation error 
(1): statement expected to be { }, not int
1.070 Compilation error 
(1): statement expected to be { }, not int
1.069 Compilation error 
(1): statement expected to be { }, not int
1.068 Compilation error 
(1): statement expected to be { }, not int
1.067 Compilation error 
(1): statement expected to be { }, not int
1.066 Compilation error 
(1): statement expected to be { }, not int
1.065 Compilation error 
(1): statement expected to be { }, not int
1.064 Compilation error 
(1): statement expected to be { }, not int
1.063-1 Compilation error 
(1): statement expected to be { }, not int
1.063 Compilation error 
(1): statement expected to be { }, not int
1.062 Compilation error 
(1): statement expected to be { }, not int
1.061 Compilation error 
(1): statement expected to be { }, not int
1.060 Compilation error 
(1): statement expected to be { }, not int
1.059 Compilation error 
(1): statement expected to be { }, not int
1.058 Compilation error 
(1): statement expected to be { }, not int
1.057 Compilation error 
(1): statement expected to be { }, not int
1.056 Compilation error 
(1): statement expected to be { }, not int
1.055 Compilation error 
(1): statement expected to be { }, not int
1.054 Compilation error 
(1): statement expected to be { }, not int
1.053 Compilation error 
(1): statement expected to be { }, not int
1.052 Compilation error 
(1): statement expected to be { }, not int
1.051 Compilation error 
(1): statement expected to be { }, not int
1.050 Compilation error 
(1): statement expected to be { }, not int
1.049 Compilation error 
(1): statement expected to be { }, not int
1.048 Compilation error 
(1): statement expected to be { }, not int
1.047 Compilation error 
(1): statement expected to be { }, not int
1.046 Compilation error 
(1): statement expected to be { }, not int
1.045 Compilation error 
(1): statement expected to be { }, not int
1.043 Compilation error 
(1): statement expected to be { }, not int
1.042 Compilation error 
(1): statement expected to be { }, not int
1.041 Compilation error 
(1): statement expected to be { }, not int
1.040 Compilation error 
(1): statement expected to be { }, not int
1.039 Compilation error 
(1): statement expected to be { }, not int
1.038 Compilation error 
(1): statement expected to be { }, not int
1.037 Compilation error 
(1): statement expected to be { }, not int
1.036 Compilation error 
(1): statement expected to be { }, not int
1.035 Compilation error 
(1): statement expected to be { }, not int
1.034 Compilation error 
(1): statement expected to be { }, not int
1.033 Compilation error 
(1): statement expected to be { }, not int
1.032 Compilation error 
(1): statement expected to be { }, not int
1.031 Compilation error 
(1): statement expected to be { }, not int
1.030 Compilation error 
(1): statement expected to be { }, not int
1.029 Compilation error 
(1): statement expected to be { }, not int
1.028 Compilation error 
(1): statement expected to be { }, not int
1.027 Compilation error 
(1): statement expected to be { }, not int
1.026 Compilation error 
(1): statement expected to be { }, not int
1.025 Compilation error 
(1): statement expected to be { }, not int
1.024 Compilation error 
(1): statement expected to be { }, not int
1.023 Compilation error 
(1): statement expected to be { }, not int
1.022 Compilation error 
(1): statement expected to be { }, not int
1.021 Compilation error 
(1): statement expected to be { }, not int
1.020 Compilation error 
(1): statement expected to be { }, not int
1.019 Compilation error 
(1): statement expected to be { }, not int
1.018 Compilation error 
(1): statement expected to be { }, not int
1.017 Compilation error 
(1): statement expected to be { }, not int
1.016 Compilation error 
(1): statement expected to be { }, not int
1.015 Compilation error 
(1): statement expected to be { }, not int
1.014 Compilation error 
(1): statement expected to be { }, not int
1.013 Compilation error 
(1): statement expected to be { }, not int
1.012 OK
1.011 OK
1.010 Compilation error 
(1): statement expected to be { }, not int
1.009 Compilation error 
(1): statement expected to be { }, not int
1.007 Compilation error 
(1): statement expected to be { }, not int
1.006 Compilation error 
(1): statement expected to be { }, not int
1.005 Compilation error 
(1): statement expected to be { }, not int
1.004 Compilation error 
(1): statement expected to be { }, not int
1.003 Compilation error 
(1): statement expected to be { }, not int
1.002 Compilation error 
(1): statement expected to be { }, not int
1.001 Compilation error 
(1): statement expected to be { }, not int
1.00 Compilation error 
(1): statement expected to be { }, not int
0.178 Compilation error 
(1): statement expected to be { }, not int
0.177 Compilation error 
(1): statement expected to be { }, not int
0.176 Compilation error 
(1): statement expected to be { }, not int
0.175 Compilation error 
(1): statement expected to be { }, not int
0.174 Compilation error 
(1): statement expected to be { }, not int
0.173 Compilation error 
(1): statement expected to be { }, not int
0.172 Compilation error 
(1): statement expected to be { }, not int
0.171 Compilation error 
(1): statement expected to be { }, not int
0.170 Compilation error 
(1): statement expected to be { }, not int
0.169 Compilation error 
(1): statement expected to be { }, not int
0.168 Compilation error 
(1): statement expected to be { }, not int
0.167 Compilation error 
(1): statement expected to be { }, not int
0.166 Compilation error 
(1): statement expected to be { }, not int
0.165 Compilation error 
(1): statement expected to be { }, not int
0.164 Compilation error 
(1): statement expected to be { }, not int
0.163 Compilation error 
(1): statement expected to be { }, not int
0.162 Compilation error 
(1): statement expected to be { }, not int
0.161 Compilation error 
(1): statement expected to be { }, not int
0.160 Compilation error 
(1): statement expected to be { }, not int
0.159 Compilation error 
(1): statement expected to be { }, not int
0.158 Compilation error 
(1): statement expected to be { }, not int
0.157 Compilation error 
(1): statement expected to be { }, not int
0.156 Compilation error 
(1): statement expected to be { }, not int
0.155 Compilation error 
(1): statement expected to be { }, not int
0.154 Compilation error 
(1): statement expected to be { }, not int
0.153 Compilation error 
(1): statement expected to be { }, not int
0.152 Compilation error 
(1): statement expected to be { }, not int
0.151 Compilation error 
(1): statement expected to be { }, not int
0.150 Compilation error 
(1): statement expected to be { }, not int
0.149 Compilation error 
(1): statement expected to be { }, not int
0.148 Compilation error 
(1): statement expected to be { }, not int
0.147 Compilation error 
(1): statement expected to be { }, not int
0.146 Compilation error 
(1): statement expected to be { }, not int
0.145 Compilation error 
(1): statement expected to be { }, not int
0.144 Compilation error 
(1): statement expected to be { }, not int
0.143 Compilation error 
(1): statement expected to be { }, not int
0.142 Compilation error 
(1): statement expected to be { }, not int
0.141 Compilation error 
(1): statement expected to be { }, not int
0.140 Compilation error 
(1): statement expected to be { }, not int
0.139 Compilation error 
(1): statement expected to be { }, not int
0.138 Compilation error 
(1): statement expected to be { }, not int
0.137 Compilation error 
(1): statement expected to be { }, not int
0.136 Compilation error 
(1): statement expected to be { }, not int
0.135 Compilation error 
(1): statement expected to be { }, not int
0.134 Compilation error 
(1): statement expected to be { }, not int
0.133 Compilation error 
(1): statement expected to be { }, not int
0.132 Compilation error 
(1): statement expected to be { }, not int
0.131 Compilation error 
(1): statement expected to be { }, not int
0.130 Compilation error 
(1): statement expected to be { }, not int
0.129 Compilation error 
(1): statement expected to be { }, not int
0.128 Compilation error 
(1): statement expected to be { }, not int
0.127 Compilation error 
(1): statement expected to be { }, not int
0.126 Compilation error 
(1): statement expected to be { }, not int
0.125 Compilation error 
(1): statement expected to be { }, not int
0.124 Compilation error 
(1): statement expected to be { }, not int
0.123 Compilation error 
(1): statement expected to be { }, not int
0.122 Compilation error 
(1): statement expected to be { }, not int
0.121 Compilation error 
(1): statement expected to be { }, not int
0.120.2 Compilation error 
(1): statement expected to be { }, not int
0.120 Compilation error 
(1): statement expected to be { }, not int
0.119 Compilation error 
(1): statement expected to be { }, not int
0.118 Compilation error 
(1): statement expected to be { }, not int
0.117 Compilation error 
(1): statement expected to be { }, not int
0.116 Compilation error 
(1): statement expected to be { }, not int
0.115 Compilation error 
(1): statement expected to be { }, not int
0.114 Compilation error 
(1): statement expected to be { }, not int
0.113 Compilation error 
(1): statement expected to be { }, not int
0.112 Compilation error 
(1): statement expected to be { }, not int
0.111 Compilation error 
(1): statement expected to be { }, not int
0.110 Compilation error 
(1): statement expected to be { }, not int
0.109 Compilation error 
(1): statement expected to be { }, not int
0.108 Compilation error 
(1): statement expected to be { }, not int
0.107 Compilation error 
(1): statement expected to be { }, not int
0.106 Compilation error 
(1): statement expected to be { }, not int
0.105 Compilation error 
(1): statement expected to be { }, not int
0.104 Compilation error 
(1): statement expected to be { }, not int
0.103 Compilation error 
(1): statement expected to be { }, not int
0.102 Compilation error 
(1): statement expected to be { }, not int
0.101 Compilation error 
(1): statement expected to be { }, not int
0.100 Compilation error 
(1): statement expected to be { }, not int
0.99 Compilation error 
(1): statement expected to be { }, not int
0.98 Compilation error 
(1): statement expected to be { }, not int
0.97 Compilation error 
(1): statement expected to be { }, not int
0.96 Compilation error 
(1): statement expected to be { }, not int
0.95 Compilation error 
(1): statement expected to be { }, not int
0.94 Compilation error 
(1): statement expected to be { }, not int
0.93 Compilation error 
(1): statement expected to be { }, not int
0.92 Compilation error 
(1): statement expected to be { }, not int
0.91 Compilation error 
(1): statement expected to be { }, not int
0.90 Compilation error 
(1): statement expected to be { }, not int
0.89 Compilation error 
(1): statement expected to be { }, not int
0.88 Compilation error 
(1): statement expected to be { }, not int
0.86 Compilation error 
(1): statement expected to be { }, not int
0.82 Compilation error 
(1): statement expected to be { }, not int
0.81 Compilation error 
(1): statement expected to be { }, not int
0.80 Compilation error 
(1): statement expected to be { }, not int
0.79 Compilation error 
(1): statement expected to be { }, not int
0.78 Compilation error 
(1): statement expected to be { }, not int
0.77 Compilation error 
(1): statement expected to be { }, not int
0.76 Compilation error 
(1): statement expected to be { }, not int
0.75 Compilation error 
(1): statement expected to be { }, not int
0.74 Compilation error 
(1): statement expected to be { }, not int
0.73 Compilation error 
(1): statement expected to be { }, not int
0.72 Compilation error 
(1): statement expected to be { }, not int
0.71 Compilation error 
(1): statement expected to be { }, not int
0.70 Compilation error 
(1): statement expected to be { }, not int
0.69 Compilation error 
(1): statement expected to be { }, not int
0.68 Compilation error 
(1): statement expected to be { }, not int
0.67 Compilation error 
(1): statement expected to be { }, not int
0.66 Compilation error 
(1): statement expected to be { }, not int
0.65 Compilation error 
(1): statement expected to be { }, not int
0.61 Compilation error 
(1): statement expected to be { }, not int
0.53 Compilation error 
(1): statement expected to be { }, not int
0.50 Compilation error 
(1): statement expected to be { }, not int