Commit d21b13f5 authored by phlo's avatar phlo

fixed litmus test constraints

parent 371755e0
......@@ -2,8 +2,8 @@
; litmus test constraints
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
208 eq 1 7 11
209 eq 1 7 12
210 and 1 208 209
211 and 1 34 210
212 bad 211
206 eq 1 7 9
207 eq 1 7 10
208 and 1 206 207
209 and 1 34 208
210 bad 209
......@@ -2,4 +2,4 @@
; litmus test constraints
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(assert (and (= mem_16_0 #x0001) (= mem_16_1 #x0001)))
(assert (and (= accu_16_0 #x0001) (= accu_16_1 #x0001)))
......@@ -2,12 +2,12 @@
; litmus test constraints
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
176 eq 1 6 14
177 eq 1 7 14
178 or 1 176 177
179 eq 1 6 15
180 eq 1 7 15
181 or 1 179 180
182 and 1 178 181
183 and 1 33 182
184 bad 183
174 eq 1 6 12
175 eq 1 7 12
176 or 1 174 175
177 eq 1 6 13
178 eq 1 7 13
179 or 1 177 178
180 and 1 176 179
181 and 1 33 180
182 bad 181
......@@ -2,4 +2,4 @@
; litmus test constraints
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(assert (and (or (= mem_10_0 #x0000) (= mem_10_0 #x0001)) (or (= mem_10_1 #x0000) (= mem_10_1 #x0001))))
(assert (and (or (= accu_10_0 #x0000) (= accu_10_0 #x0001)) (or (= accu_10_1 #x0000) (= accu_10_1 #x0001))))
......@@ -2,8 +2,8 @@
; litmus test constraints
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
190 eq 1 6 14
191 eq 1 6 15
192 and 1 190 191
193 and 1 35 192
194 bad 193
188 eq 1 6 12
189 eq 1 6 13
190 and 1 188 189
191 and 1 35 190
192 bad 191
......@@ -2,4 +2,4 @@
; litmus test constraints
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(assert (and (= mem_12_0 #x0000) (= mem_12_1 #x0000)))
(assert (and (= accu_12_0 #x0000) (= accu_12_1 #x0000)))
......@@ -2,8 +2,8 @@
; litmus test constraints
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
176 eq 1 6 14
177 eq 1 6 15
178 and 1 176 177
179 and 1 33 178
180 bad 179
174 eq 1 6 12
175 eq 1 6 13
176 and 1 174 175
177 and 1 33 176
178 bad 177
......@@ -2,4 +2,4 @@
; litmus test constraints
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(assert (and (= mem_10_0 #x0000) (= mem_10_1 #x0000)))
(assert (and (= accu_10_0 #x0000) (= accu_10_1 #x0000)))
......@@ -2,6 +2,6 @@
; litmus test constraints
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
94 eq 1 6 12
95 and 1 22 94
96 bad 95
93 eq 1 6 11
94 and 1 22 93
95 bad 94
......@@ -2,4 +2,4 @@
; litmus test constraints
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(assert (= mem_5_0 #x0000))
(assert (= accu_5_0 #x0000))
......@@ -2,8 +2,8 @@
; litmus test constraints
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
198 eq 1 6 14
199 eq 1 6 15
200 and 1 198 199
201 and 1 35 200
202 bad 201
194 eq 1 6 12
195 eq 1 6 13
196 and 1 194 195
197 and 1 35 196
198 bad 197
......@@ -2,4 +2,4 @@
; litmus test constraints
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(assert (and (= mem_12_0 #x0000) (= mem_12_1 #x0000)))
(assert (and (= accu_12_0 #x0000) (= accu_12_1 #x0000)))
......@@ -2,8 +2,8 @@
; litmus test constraints
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
188 eq 1 6 14
189 eq 1 6 15
190 and 1 188 189
191 and 1 33 190
192 bad 191
186 eq 1 6 12
187 eq 1 6 13
188 and 1 186 187
189 and 1 33 188
190 bad 189
......@@ -2,4 +2,4 @@
; litmus test constraints
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(assert (and (= mem_8_0 #x0000) (= mem_8_1 #x0000)))
(assert (and (= accu_8_0 #x0000) (= accu_8_1 #x0000)))
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment