| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/GoldFiles/ |
| H A D | queryArrays3.gold | 22 [GOOD] (declare-fun table0 ((_ BitVec 8)) (_ BitVec 8))
23 [GOOD] (define-fun s2 () (_ BitVec 8) (table0 s0))
25 [GOOD] (define-fun table0_initializer_0 () Bool (= (table0 #x00) s0))
26 [GOOD] (define-fun table0_initializer_1 () Bool (= (table0 #x01) s0))
27 [GOOD] (define-fun table0_initializer_2 () Bool (= (table0 #x02) s0))
28 [GOOD] (define-fun table0_initializer_3 () Bool (= (table0 #x03) s0))
29 [GOOD] (define-fun table0_initializer_4 () Bool (= (table0 #x04) s0))
30 [GOOD] (define-fun table0_initializer_5 () Bool (= (table0 #x05) s0))
31 [GOOD] (define-fun table0_initializer_6 () Bool (= (table0 #x06) s0))
32 [GOOD] (define-fun table0_initializer_7 () Bool (= (table0 #x07) s0))
[all …]
|
| H A D | queryArrays4.gold | 278 [GOOD] (declare-fun table0 ((_ BitVec 8)) (_ BitVec 8))
279 [GOOD] (define-fun s258 () (_ BitVec 8) (table0 s0))
281 [GOOD] (define-fun table0_initializer_0 () Bool (= (table0 #x00) s2))
282 [GOOD] (define-fun table0_initializer_1 () Bool (= (table0 #x01) s3))
283 [GOOD] (define-fun table0_initializer_2 () Bool (= (table0 #x02) s4))
284 [GOOD] (define-fun table0_initializer_3 () Bool (= (table0 #x03) s5))
285 [GOOD] (define-fun table0_initializer_4 () Bool (= (table0 #x04) s6))
286 [GOOD] (define-fun table0_initializer_5 () Bool (= (table0 #x05) s7))
287 [GOOD] (define-fun table0_initializer_6 () Bool (= (table0 #x06) s8))
288 [GOOD] (define-fun table0_initializer_7 () Bool (= (table0 #x07) s9))
[all …]
|
| H A D | queryArrays2.gold | 277 [GOOD] (declare-fun table0 ((_ BitVec 8)) (_ BitVec 8))
278 [GOOD] (define-fun s257 () (_ BitVec 8) (table0 s0))
280 [GOOD] (define-fun table0_initializer_0 () Bool (= (table0 #x00) s1))
281 [GOOD] (define-fun table0_initializer_1 () Bool (= (table0 #x01) s2))
282 [GOOD] (define-fun table0_initializer_2 () Bool (= (table0 #x02) s3))
283 [GOOD] (define-fun table0_initializer_3 () Bool (= (table0 #x03) s4))
284 [GOOD] (define-fun table0_initializer_4 () Bool (= (table0 #x04) s5))
285 [GOOD] (define-fun table0_initializer_5 () Bool (= (table0 #x05) s6))
286 [GOOD] (define-fun table0_initializer_6 () Bool (= (table0 #x06) s7))
287 [GOOD] (define-fun table0_initializer_7 () Bool (= (table0 #x07) s8))
[all …]
|
| H A D | barrelRotate_Left_Int64_Word32.gold | 114 [GOOD] (assert (= (table0 #x00000000) s0))
115 [GOOD] (assert (= (table0 #x00000001) s17))
116 [GOOD] (assert (= (table0 #x00000002) s29))
117 [GOOD] (assert (= (table0 #x00000003) s30))
118 [GOOD] (assert (= (table0 #x00000004) s31))
119 [GOOD] (assert (= (table0 #x00000005) s32))
120 [GOOD] (assert (= (table0 #x00000006) s33))
121 [GOOD] (assert (= (table0 #x00000007) s34))
122 [GOOD] (assert (= (table0 #x00000008) s35))
123 [GOOD] (assert (= (table0 #x00000009) s36))
[all …]
|
| H A D | barrelRotate_Left_Int64_Word64.gold | 114 [GOOD] (assert (= (table0 #x0000000000000000) s0))
115 [GOOD] (assert (= (table0 #x0000000000000001) s17))
116 [GOOD] (assert (= (table0 #x0000000000000002) s29))
117 [GOOD] (assert (= (table0 #x0000000000000003) s30))
118 [GOOD] (assert (= (table0 #x0000000000000004) s31))
119 [GOOD] (assert (= (table0 #x0000000000000005) s32))
120 [GOOD] (assert (= (table0 #x0000000000000006) s33))
121 [GOOD] (assert (= (table0 #x0000000000000007) s34))
122 [GOOD] (assert (= (table0 #x0000000000000008) s35))
123 [GOOD] (assert (= (table0 #x0000000000000009) s36))
[all …]
|
| H A D | barrelRotate_Left_Int64_Word8.gold | 114 [GOOD] (assert (= (table0 #x00) s0))
115 [GOOD] (assert (= (table0 #x01) s17))
116 [GOOD] (assert (= (table0 #x02) s29))
117 [GOOD] (assert (= (table0 #x03) s30))
118 [GOOD] (assert (= (table0 #x04) s31))
119 [GOOD] (assert (= (table0 #x05) s32))
120 [GOOD] (assert (= (table0 #x06) s33))
121 [GOOD] (assert (= (table0 #x07) s34))
122 [GOOD] (assert (= (table0 #x08) s35))
123 [GOOD] (assert (= (table0 #x09) s36))
[all …]
|
| H A D | barrelRotate_Left_Word64_Word16.gold | 114 [GOOD] (assert (= (table0 #x0000) s0))
115 [GOOD] (assert (= (table0 #x0001) s17))
116 [GOOD] (assert (= (table0 #x0002) s29))
117 [GOOD] (assert (= (table0 #x0003) s30))
118 [GOOD] (assert (= (table0 #x0004) s31))
119 [GOOD] (assert (= (table0 #x0005) s32))
120 [GOOD] (assert (= (table0 #x0006) s33))
121 [GOOD] (assert (= (table0 #x0007) s34))
122 [GOOD] (assert (= (table0 #x0008) s35))
123 [GOOD] (assert (= (table0 #x0009) s36))
[all …]
|
| H A D | barrelRotate_Left_Word64_Word64.gold | 114 [GOOD] (assert (= (table0 #x0000000000000000) s0))
115 [GOOD] (assert (= (table0 #x0000000000000001) s17))
116 [GOOD] (assert (= (table0 #x0000000000000002) s29))
117 [GOOD] (assert (= (table0 #x0000000000000003) s30))
118 [GOOD] (assert (= (table0 #x0000000000000004) s31))
119 [GOOD] (assert (= (table0 #x0000000000000005) s32))
120 [GOOD] (assert (= (table0 #x0000000000000006) s33))
121 [GOOD] (assert (= (table0 #x0000000000000007) s34))
122 [GOOD] (assert (= (table0 #x0000000000000008) s35))
123 [GOOD] (assert (= (table0 #x0000000000000009) s36))
[all …]
|
| H A D | barrelRotate_Left_Word64_Word8.gold | 114 [GOOD] (assert (= (table0 #x00) s0))
115 [GOOD] (assert (= (table0 #x01) s17))
116 [GOOD] (assert (= (table0 #x02) s29))
117 [GOOD] (assert (= (table0 #x03) s30))
118 [GOOD] (assert (= (table0 #x04) s31))
119 [GOOD] (assert (= (table0 #x05) s32))
120 [GOOD] (assert (= (table0 #x06) s33))
121 [GOOD] (assert (= (table0 #x07) s34))
122 [GOOD] (assert (= (table0 #x08) s35))
123 [GOOD] (assert (= (table0 #x09) s36))
[all …]
|
| H A D | barrelRotate_Left_Int64_Word16.gold | 114 [GOOD] (assert (= (table0 #x0000) s0))
115 [GOOD] (assert (= (table0 #x0001) s17))
116 [GOOD] (assert (= (table0 #x0002) s29))
117 [GOOD] (assert (= (table0 #x0003) s30))
118 [GOOD] (assert (= (table0 #x0004) s31))
119 [GOOD] (assert (= (table0 #x0005) s32))
120 [GOOD] (assert (= (table0 #x0006) s33))
121 [GOOD] (assert (= (table0 #x0007) s34))
122 [GOOD] (assert (= (table0 #x0008) s35))
123 [GOOD] (assert (= (table0 #x0009) s36))
[all …]
|
| H A D | barrelRotate_Left_Word64_Word32.gold | 114 [GOOD] (assert (= (table0 #x00000000) s0))
115 [GOOD] (assert (= (table0 #x00000001) s17))
116 [GOOD] (assert (= (table0 #x00000002) s29))
117 [GOOD] (assert (= (table0 #x00000003) s30))
118 [GOOD] (assert (= (table0 #x00000004) s31))
119 [GOOD] (assert (= (table0 #x00000005) s32))
120 [GOOD] (assert (= (table0 #x00000006) s33))
121 [GOOD] (assert (= (table0 #x00000007) s34))
122 [GOOD] (assert (= (table0 #x00000008) s35))
123 [GOOD] (assert (= (table0 #x00000009) s36))
[all …]
|
| H A D | barrelRotate_Right_Word64_Word8.gold | 114 [GOOD] (assert (= (table0 #x00) s0))
115 [GOOD] (assert (= (table0 #x01) s17))
116 [GOOD] (assert (= (table0 #x02) s29))
117 [GOOD] (assert (= (table0 #x03) s30))
118 [GOOD] (assert (= (table0 #x04) s31))
119 [GOOD] (assert (= (table0 #x05) s32))
120 [GOOD] (assert (= (table0 #x06) s33))
121 [GOOD] (assert (= (table0 #x07) s34))
122 [GOOD] (assert (= (table0 #x08) s35))
123 [GOOD] (assert (= (table0 #x09) s36))
[all …]
|
| H A D | barrelRotate_Right_Int64_Word16.gold | 114 [GOOD] (assert (= (table0 #x0000) s0))
115 [GOOD] (assert (= (table0 #x0001) s17))
116 [GOOD] (assert (= (table0 #x0002) s29))
117 [GOOD] (assert (= (table0 #x0003) s30))
118 [GOOD] (assert (= (table0 #x0004) s31))
119 [GOOD] (assert (= (table0 #x0005) s32))
120 [GOOD] (assert (= (table0 #x0006) s33))
121 [GOOD] (assert (= (table0 #x0007) s34))
122 [GOOD] (assert (= (table0 #x0008) s35))
123 [GOOD] (assert (= (table0 #x0009) s36))
[all …]
|
| H A D | barrelRotate_Right_Int64_Word32.gold | 114 [GOOD] (assert (= (table0 #x00000000) s0))
115 [GOOD] (assert (= (table0 #x00000001) s17))
116 [GOOD] (assert (= (table0 #x00000002) s29))
117 [GOOD] (assert (= (table0 #x00000003) s30))
118 [GOOD] (assert (= (table0 #x00000004) s31))
119 [GOOD] (assert (= (table0 #x00000005) s32))
120 [GOOD] (assert (= (table0 #x00000006) s33))
121 [GOOD] (assert (= (table0 #x00000007) s34))
122 [GOOD] (assert (= (table0 #x00000008) s35))
123 [GOOD] (assert (= (table0 #x00000009) s36))
[all …]
|
| H A D | barrelRotate_Right_Int64_Word64.gold | 114 [GOOD] (assert (= (table0 #x0000000000000000) s0))
115 [GOOD] (assert (= (table0 #x0000000000000001) s17))
116 [GOOD] (assert (= (table0 #x0000000000000002) s29))
117 [GOOD] (assert (= (table0 #x0000000000000003) s30))
118 [GOOD] (assert (= (table0 #x0000000000000004) s31))
119 [GOOD] (assert (= (table0 #x0000000000000005) s32))
120 [GOOD] (assert (= (table0 #x0000000000000006) s33))
121 [GOOD] (assert (= (table0 #x0000000000000007) s34))
122 [GOOD] (assert (= (table0 #x0000000000000008) s35))
123 [GOOD] (assert (= (table0 #x0000000000000009) s36))
[all …]
|
| H A D | barrelRotate_Right_Int64_Word8.gold | 114 [GOOD] (assert (= (table0 #x00) s0))
115 [GOOD] (assert (= (table0 #x01) s17))
116 [GOOD] (assert (= (table0 #x02) s29))
117 [GOOD] (assert (= (table0 #x03) s30))
118 [GOOD] (assert (= (table0 #x04) s31))
119 [GOOD] (assert (= (table0 #x05) s32))
120 [GOOD] (assert (= (table0 #x06) s33))
121 [GOOD] (assert (= (table0 #x07) s34))
122 [GOOD] (assert (= (table0 #x08) s35))
123 [GOOD] (assert (= (table0 #x09) s36))
[all …]
|
| H A D | barrelRotate_Right_Word64_Word64.gold | 114 [GOOD] (assert (= (table0 #x0000000000000000) s0))
115 [GOOD] (assert (= (table0 #x0000000000000001) s17))
116 [GOOD] (assert (= (table0 #x0000000000000002) s29))
117 [GOOD] (assert (= (table0 #x0000000000000003) s30))
118 [GOOD] (assert (= (table0 #x0000000000000004) s31))
119 [GOOD] (assert (= (table0 #x0000000000000005) s32))
120 [GOOD] (assert (= (table0 #x0000000000000006) s33))
121 [GOOD] (assert (= (table0 #x0000000000000007) s34))
122 [GOOD] (assert (= (table0 #x0000000000000008) s35))
123 [GOOD] (assert (= (table0 #x0000000000000009) s36))
[all …]
|
| H A D | barrelRotate_Right_Word64_Word16.gold | 114 [GOOD] (assert (= (table0 #x0000) s0))
115 [GOOD] (assert (= (table0 #x0001) s17))
116 [GOOD] (assert (= (table0 #x0002) s29))
117 [GOOD] (assert (= (table0 #x0003) s30))
118 [GOOD] (assert (= (table0 #x0004) s31))
119 [GOOD] (assert (= (table0 #x0005) s32))
120 [GOOD] (assert (= (table0 #x0006) s33))
121 [GOOD] (assert (= (table0 #x0007) s34))
122 [GOOD] (assert (= (table0 #x0008) s35))
123 [GOOD] (assert (= (table0 #x0009) s36))
[all …]
|
| H A D | barrelRotate_Right_Word64_Word32.gold | 114 [GOOD] (assert (= (table0 #x00000000) s0))
115 [GOOD] (assert (= (table0 #x00000001) s17))
116 [GOOD] (assert (= (table0 #x00000002) s29))
117 [GOOD] (assert (= (table0 #x00000003) s30))
118 [GOOD] (assert (= (table0 #x00000004) s31))
119 [GOOD] (assert (= (table0 #x00000005) s32))
120 [GOOD] (assert (= (table0 #x00000006) s33))
121 [GOOD] (assert (= (table0 #x00000007) s34))
122 [GOOD] (assert (= (table0 #x00000008) s35))
123 [GOOD] (assert (= (table0 #x00000009) s36))
[all …]
|
| H A D | barrelRotate_Left_Int32_Word32.gold | 78 [GOOD] (assert (= (table0 #x00000000) s0))
79 [GOOD] (assert (= (table0 #x00000001) s15))
80 [GOOD] (assert (= (table0 #x00000002) s25))
81 [GOOD] (assert (= (table0 #x00000003) s26))
82 [GOOD] (assert (= (table0 #x00000004) s27))
83 [GOOD] (assert (= (table0 #x00000005) s28))
84 [GOOD] (assert (= (table0 #x00000006) s29))
85 [GOOD] (assert (= (table0 #x00000007) s30))
86 [GOOD] (assert (= (table0 #x00000008) s31))
87 [GOOD] (assert (= (table0 #x00000009) s32))
[all …]
|
| H A D | barrelRotate_Left_Word32_Word8.gold | 78 [GOOD] (assert (= (table0 #x00) s0))
79 [GOOD] (assert (= (table0 #x01) s15))
80 [GOOD] (assert (= (table0 #x02) s25))
81 [GOOD] (assert (= (table0 #x03) s26))
82 [GOOD] (assert (= (table0 #x04) s27))
83 [GOOD] (assert (= (table0 #x05) s28))
84 [GOOD] (assert (= (table0 #x06) s29))
85 [GOOD] (assert (= (table0 #x07) s30))
86 [GOOD] (assert (= (table0 #x08) s31))
87 [GOOD] (assert (= (table0 #x09) s32))
[all …]
|
| H A D | barrelRotate_Right_Int32_Word64.gold | 78 [GOOD] (assert (= (table0 #x0000000000000000) s0))
79 [GOOD] (assert (= (table0 #x0000000000000001) s15))
80 [GOOD] (assert (= (table0 #x0000000000000002) s25))
81 [GOOD] (assert (= (table0 #x0000000000000003) s26))
82 [GOOD] (assert (= (table0 #x0000000000000004) s27))
83 [GOOD] (assert (= (table0 #x0000000000000005) s28))
84 [GOOD] (assert (= (table0 #x0000000000000006) s29))
85 [GOOD] (assert (= (table0 #x0000000000000007) s30))
86 [GOOD] (assert (= (table0 #x0000000000000008) s31))
87 [GOOD] (assert (= (table0 #x0000000000000009) s32))
[all …]
|
| H A D | barrelRotate_Right_Int32_Word8.gold | 78 [GOOD] (assert (= (table0 #x00) s0))
79 [GOOD] (assert (= (table0 #x01) s15))
80 [GOOD] (assert (= (table0 #x02) s25))
81 [GOOD] (assert (= (table0 #x03) s26))
82 [GOOD] (assert (= (table0 #x04) s27))
83 [GOOD] (assert (= (table0 #x05) s28))
84 [GOOD] (assert (= (table0 #x06) s29))
85 [GOOD] (assert (= (table0 #x07) s30))
86 [GOOD] (assert (= (table0 #x08) s31))
87 [GOOD] (assert (= (table0 #x09) s32))
[all …]
|
| H A D | barrelRotate_Left_Int32_Word8.gold | 78 [GOOD] (assert (= (table0 #x00) s0))
79 [GOOD] (assert (= (table0 #x01) s15))
80 [GOOD] (assert (= (table0 #x02) s25))
81 [GOOD] (assert (= (table0 #x03) s26))
82 [GOOD] (assert (= (table0 #x04) s27))
83 [GOOD] (assert (= (table0 #x05) s28))
84 [GOOD] (assert (= (table0 #x06) s29))
85 [GOOD] (assert (= (table0 #x07) s30))
86 [GOOD] (assert (= (table0 #x08) s31))
87 [GOOD] (assert (= (table0 #x09) s32))
[all …]
|
| H A D | barrelRotate_Right_Int32_Word16.gold | 78 [GOOD] (assert (= (table0 #x0000) s0))
79 [GOOD] (assert (= (table0 #x0001) s15))
80 [GOOD] (assert (= (table0 #x0002) s25))
81 [GOOD] (assert (= (table0 #x0003) s26))
82 [GOOD] (assert (= (table0 #x0004) s27))
83 [GOOD] (assert (= (table0 #x0005) s28))
84 [GOOD] (assert (= (table0 #x0006) s29))
85 [GOOD] (assert (= (table0 #x0007) s30))
86 [GOOD] (assert (= (table0 #x0008) s31))
87 [GOOD] (assert (= (table0 #x0009) s32))
[all …]
|