3 Commits

Author SHA1 Message Date
artemdinaburg a2f7f0f189 Fix Issue #491 (#492)
* Update CMakeLists to look for idat64 (IDA 7+)
* Update documentation
2018-11-28 02:09:35 -05:00
artemdinaburg d2582c7abd Build Tests in Travis (#406)
Always generate integration tests and then run the generated integration tests travis. We get around a lack of IDA by providing pre-built CFGs for examples.

Closes #407
2018-05-22 21:13:43 -04:00
artemdinaburg 7a7dc48a16 Fix Integration Tests (#394)
* Remove old documentation
* Fix cmake lists to set C/CXX compiler first, to avoid infinite loops
* Fix pthread tests
* Add documentation
* Making ADA tests work with test generator
* Strip resulting binary for cpp_construtor so it works with .init/.fini
* Looser comparison for output validation
* Update test suite with Ubuntu 14.04 CFGs for travis-ci
2018-03-29 18:26:00 -04:00