From 0e31f16d80cd61698c22c05f512b601f2aa65e10 Mon Sep 17 00:00:00 2001
From: Viktor Kuncak <vkuncak@gmail.com>
Date: Tue, 24 Jul 2012 23:06:22 +0200
Subject: [PATCH] added output of ldd
---
README | 13 +++++++++++++
1 file changed, 13 insertions(+)
diff --git a/README b/README
index 6604deb78..dd0228d69 100644
--- a/README
+++ b/README
@@ -43,3 +43,16 @@ and get something like this:
â•‘ redNodesHaveBlackChildren match. (35,56) valid Z3-f+t 0.003 â•‘
â•‘ size postcond. valid Z3-f+t 0.012 â•‘
â•šâ•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•â•
+
+Additional information:
+=======================
+Sample output of
+ ldd lib-bin/lib3.so
+is:
+ linux-gate.so.1 => (0x00b13000)
+ libgmp.so.3 => /usr/lib/libgmp.so.3 (0x00110000)
+ libstdc++.so.6 => /usr/lib/i386-linux-gnu/libstdc++.so.6 (0x0016f000)
+ libm.so.6 => /lib/i386-linux-gnu/libm.so.6 (0x0025a000)
+ libgcc_s.so.1 => /lib/i386-linux-gnu/libgcc_s.so.1 (0x00709000)
+ libc.so.6 => /lib/i386-linux-gnu/libc.so.6 (0x004d9000)
+ /lib/ld-linux.so.2 (0x002ab000)
--
GitLab