Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
platform
/
external
/
valgrind
/
995e36deffc5fcdff74fbc41b2bbb342b0350484
/
.
/
drd
/
tests
/
unit_vc.stderr.exp
blob: 484cfc45c841ec994097cb6f2d22c5415d24032a [
file
] [
log
] [
blame
]
bart
8f822af
2009-06-08 18:20:42 +0000
[
diff
] [
blame
]
1
vc1
:
[
3
:
7
,
5
:
8
]
2
vc2
:
[
1
:
4
,
3
:
9
]
3
vc3
:
[
1
:
4
,
3
:
9
,
5
:
8
]
4
vc_lte
(
vc1
,
vc2
)
=
0
,
vc_lte
(
vc1
,
vc3
)
=
1
,
vc_lte
(
vc2
,
vc3
)
=
1
5
vc_lte
([
1
:
3
,
2
:
1
],
[
1
:
4
])
=
0
sw
0