diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-07-14 13:07:19 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-07-14 13:07:19 +0000 |
commit | 35637c2a760c35ca1c61edc276875cd91df0ab11 (patch) | |
tree | 0f8c24212b425b977e4c22561347cd3ae9f28aac /examples/Makefile.am | |
parent | 587e71e5de725968d8924cceb91c79d615edb660 (diff) |
an example that uses bitvectors to simulate sha1 computation and dumps an smt problem corresponding to the hash-inversion problem
Diffstat (limited to 'examples/Makefile.am')
-rw-r--r-- | examples/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/Makefile.am b/examples/Makefile.am index 484097740..efa35efd5 100644 --- a/examples/Makefile.am +++ b/examples/Makefile.am @@ -1,4 +1,4 @@ -SUBDIRS = nra-translate . +SUBDIRS = nra-translate hashsmt . AM_CPPFLAGS = \ -I@srcdir@/../src/include -I@srcdir@/../src -I@builddir@/../src $(ANTLR_INCLUDES) |