18 |
|
|
19 |
sieve_test exists1.sv -pattern \ |
sieve_test exists1.sv -pattern \ |
20 |
"DISCARD on msg uid 1: marking as deleted"\ |
"DISCARD on msg uid 1: marking as deleted"\ |
21 |
"KEEP on msg uid 2"\ |
"IMPLICIT KEEP on msg uid 2"\ |
22 |
"KEEP on msg uid 3" |
"IMPLICIT KEEP on msg uid 3" |
23 |
|
|
24 |
sieve_test exists2.sv -pattern \ |
sieve_test exists2.sv -pattern \ |
25 |
"DISCARD on msg uid 1: marking as deleted"\ |
"DISCARD on msg uid 1: marking as deleted"\ |
26 |
"KEEP on msg uid 2"\ |
"IMPLICIT KEEP on msg uid 2"\ |
27 |
"KEEP on msg uid 3" |
"IMPLICIT KEEP on msg uid 3" |
28 |
|
|
29 |
sieve_test exists3.sv -pattern \ |
sieve_test exists3.sv -pattern \ |
30 |
"KEEP on msg uid 1"\ |
"IMPLICIT KEEP on msg uid 1"\ |
31 |
"KEEP on msg uid 2"\ |
"IMPLICIT KEEP on msg uid 2"\ |
32 |
"KEEP on msg uid 3" |
"IMPLICIT KEEP on msg uid 3" |
33 |
|
|
34 |
# end of exists.exp |
# end of exists.exp |