search

karelklic / canal

Abstract interpreter for real-world application programs
https://github.com/karelklic/canal/wiki
Other
32 stars 2 forks source link

Travis-CI: run make test after compilation with CMake #113

Closed xbrukner closed 11 years ago

JanDupal commented 11 years ago

Is there an option to skip integration tests?

xbrukner commented 11 years ago

No, but with recent optimizations runtime of execution should not be a problem.

JanDupal commented 11 years ago

Ok, I'm still getting 130s (previously 150s) with 1.3 GB in memory on validate_wc.c. I'll give it a try.

xbrukner commented 11 years ago

Try super_ptr or shared_data_pointer branch; in master, it is still slow.

JanDupal commented 11 years ago

Ugh, travis config with tests is now in master...

JanDupal commented 11 years ago

@karelklic @xbrukner Travis now runs make test with output on failure option when compiling via cmake. Please take a look at build 161, there is an error when compiling wc.c test.

karelklic commented 11 years ago

This is now fixed: issue #98.

xbrukner commented 11 years ago

Is there any reason not to close this issue?