From 8ff3b057eae4584dc893186707edf1f07e38f2c7 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Fri, 7 Jun 2019 19:55:35 +0200
Subject: for zlib

---
 test/monniaux/vocabulary.sh | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100755 test/monniaux/vocabulary.sh

(limited to 'test/monniaux/vocabulary.sh')

diff --git a/test/monniaux/vocabulary.sh b/test/monniaux/vocabulary.sh
new file mode 100755
index 00000000..5b76921e
--- /dev/null
+++ b/test/monniaux/vocabulary.sh
@@ -0,0 +1,2 @@
+cat *.gcc.k1c.s|cut -f2|cut -d' ' -f1|sort -u|grep -v ':'|grep -v -F '.' > gcc_vocabulary.txt
+cat *.ccomp.k1c.s|cut -f2|cut -d' ' -f1|sort -u|grep -v ':'|grep -v -F '.' > ccomp_vocabulary.txt
-- 
cgit