blob: c5e2349c74436ed414fcf810e11b3d9f8f334d26 (
plain)
1
2
3
4
5
6
7
8
|
bv0.bpl(6,3): Error: mismatched types in assignment command (cannot assign bv31 to bv32)
bv0.bpl(7,3): Error: mismatched types in assignment command (cannot assign int to bv32)
bv0.bpl(8,4): Error: mismatched types in assignment command (cannot assign bv1 to bv32)
bv0.bpl(9,10): Error: start index in extract must be no bigger than the end index
bv0.bpl(10,4): Error: mismatched types in assignment command (cannot assign bv1 to bv32)
bv0.bpl(11,4): Error: mismatched types in assignment command (cannot assign bv1 to bv32)
bv0.bpl(12,4): Error: mismatched types in assignment command (cannot assign concat$bvproxy#10 to bv32)
7 type checking errors detected in bv0.bpl
|
