Specialized binary does not give any output with configuration priming: airtun
mudbri opened this issue · 1 comments
mudbri commented
Specializing airtun with configuration priming results in a large reduction of functions. However, the specialized binary does not give any output. The files required to reproduce the problem can be found here. The issue can be reproduced in the following way:
- cd airtun
- make (the following dependency might be required: apt-get install libssl-dev)
- bash build.sh --enable-config-prime
- make test
The test compares the output of the specialized binary with that of the unspecialized one. The test fails when the --enable-config-prime flag is provided. However, the test passes when the flag is not provided (i.e. bash build.sh).