Closed domainexpert closed 6 years ago
@Himeshi Big thanks to you for a hint on how to fix issue #67. This patch is meant to resolve #67; already tested with make memdjpeg.klee in package directory of fp-examples.
make memdjpeg.klee
package
fp-examples
@Himeshi Big thanks to you for a hint on how to fix issue #67. This patch is meant to resolve #67; already tested with
make memdjpeg.kleeinpackagedirectory offp-examples.