gvsafronov/futriix
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Bit operations tests improved.

Browse Source 
Fuzzing tests of BITCOUNT / BITOP are iterated multiple times.
The new BITCOUNT fuzzing test uses random strings in a wider interval of
lengths including zero-len strings.
This commit is contained in:
antirez 2012-05-20 11:03:54 +02:00
parent 5ca752bccb
commit 7021d1b75c
1 changed files with 21 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
tests/unit/bitops.tcl
View File

@ -44,11 +44,7 @@ start_server {tags {"bitops"}} {
} 0 } 0
catch {unset num} catch {unset num}
foreach vec [list \ foreach vec [list "" "\xaa" "\x00\x00\xff" "foobar"] {
"" "\xaa" "\x00\x00\xff" "foobar" \
[randstring 2000 3000] [randstring 2000 3000] \
[randstring 2000 3000] \
] {
incr num incr num
test "BITCOUNT against test vector #$num" { test "BITCOUNT against test vector #$num" {
r set str $vec r set str $vec
@ -56,6 +52,14 @@ start_server {tags {"bitops"}} {
} }
} }
test {BITCOUNT fuzzing} {
for {set j 0} {$j < 100} {incr j} {
set str [randstring 0 3000]
r set str $str
assert {[r bitcount str] == [count_bits $str]}
}
}
test {BITCOUNT with start, end} { test {BITCOUNT with start, end} {
r set s "foobar" r set s "foobar"
assert_equal [r bitcount s 0 -1] [count_bits "foobar"] assert_equal [r bitcount s 0 -1] [count_bits "foobar"]
@ -114,17 +118,19 @@ start_server {tags {"bitops"}} {
foreach op {and or xor} { foreach op {and or xor} {
test "BITOP $op fuzzing" { test "BITOP $op fuzzing" {
set vec {} for {set i 0} {$i < 10} {incr i} {
set veckeys {} set vec {}
set numvec [expr {[randomInt 10]+1}] set veckeys {}
for {set j 0} {$j < $numvec} {incr j} { set numvec [expr {[randomInt 10]+1}]
set str [randstring 0 1000] for {set j 0} {$j < $numvec} {incr j} {
lappend vec $str set str [randstring 0 1000]
lappend veckeys vector_$j lappend vec $str
r set vector_$j $str lappend veckeys vector_$j
r set vector_$j $str
}
r bitop $op target {*}$veckeys
assert_equal [r get target] [simulate_bit_op $op {*}$vec]
} }
r bitop $op target {*}$veckeys
assert_equal [r get target] [simulate_bit_op $op {*}$vec]
} }
} }
} }