Commit graph

387 commits

Author SHA1 Message Date
Snaipe
9e3196f737 Made the misc theory test fail to test parameter formatting 2015-09-04 15:57:02 +02:00
Snaipe
eff36eea2d Added 0x prefix for pointer parameters in theories 2015-09-04 15:53:25 +02:00
Snaipe
e1e332e38b Added a test for various theory parameters 2015-09-04 15:52:54 +02:00
Snaipe
2bc980a39a Added better coverage report for theories 2015-09-04 14:59:42 +02:00
Snaipe
5b840e546e Removed windows coverage until coveralls knows how to merge multiple CI reports 2015-09-04 03:33:27 +02:00
Snaipe
90711d4ae1 Fixed coveralls output to report only criterion 2015-09-04 03:32:19 +02:00
Snaipe
fc64949d96 Updated documentation for new build instructions 2015-09-04 03:11:07 +02:00
Snaipe
dcbf985a00 Updated libcsptr for -fPIC removal on windows 2015-09-04 03:07:09 +02:00
Snaipe
164f334ea1 Included submodule update in cmake module 2015-09-04 03:03:40 +02:00
Snaipe
11bacffc15 Fixed install-dependencies scripts 2015-09-04 02:51:00 +02:00
Snaipe
16aae06e79 Made the build system also build the dependencies 2015-09-04 02:47:06 +02:00
Snaipe
ea814f3611 Fixed missing field initializer warning on older GCC versions 2015-09-04 01:09:59 +02:00
Snaipe
00783d66ea Added documentation for theories 2015-09-03 23:51:59 +02:00
Snaipe
e9899932ca Prevent theories from aborting the whole test & fixed messages being cummulatively concatenated 2015-09-03 21:44:26 +02:00
Snaipe
5d25030a6c [Issue #31] Merge branch 'features/theories' into bleeding 2015-09-03 19:00:15 +02:00
Snaipe
e0948aba7a Trying to fix dyncall installation on windows 2015-09-03 18:46:56 +02:00
Snaipe
d8668e3ed8 Added cmake dyncall dependency search 2015-09-03 18:26:32 +02:00
Snaipe
06e87bf592 Added dyncall dependency installation 2015-09-03 18:09:59 +02:00
Snaipe
50df60c962 Added documentation for .exit_code 2015-09-03 17:31:05 +02:00
Snaipe
1757752dd1 Added reporting & logging on theory failure 2015-09-03 17:29:46 +02:00
Snaipe
029b5e43c3 Added better theory sample 2015-09-03 14:29:46 +02:00
Snaipe
c9501805b6 Added support for theories 2015-09-03 06:38:44 +02:00
Snaipe
b940ad3790 [Issue #32] Added ability to test the exit status of a test. 2015-09-01 19:09:11 +02:00
Snaipe
2e94e558c1 Added tests on ordered-set 2015-08-21 06:30:20 +02:00
Snaipe
883088e2a5 Added conditional pattern test activation 2015-08-21 00:26:51 +02:00
Snaipe
d6888c4ac6 Fixed comparison tests for scripts 2015-08-21 00:21:48 +02:00
Snaipe
f354f97cf6 Fixed download urls 2015-08-20 21:12:58 +02:00
Snaipe
f7ad1dd01e Revert readme change for x86_64 windows downloads 2015-08-20 21:05:56 +02:00
Snaipe
0f7adeb312 [v1.3.1] Merge branch 'bleeding' (Version release) 2015-08-20 20:47:07 +02:00
Snaipe
e37b6b55a3 Documented new -S switch 2015-08-20 20:39:28 +02:00
Snaipe
b7528a9542 Fixed duplicated output when writing in PRE_ALL report hook with a redirected output 2015-08-20 19:56:23 +02:00
Snaipe
ad1338e768 Fixed line endings before comparing outputs 2015-08-20 18:16:04 +02:00
Snaipe
0520a36723 Implemented basename for compatibility with OS X and Windows 2015-08-20 18:04:29 +02:00
Snaipe
0d85790a9d Fixed locale use to be en_US.utf8 in expected test output 2015-08-20 17:47:02 +02:00
Snaipe
880c75746f Fixed comparison tests depending on absolute paths 2015-08-20 17:41:12 +02:00
Snaipe
b4fc22e7e4 Added -S switch to display the base name of source files 2015-08-20 08:05:44 +02:00
Snaipe
9db9b5776a Added output comparison tests to prevent regressions 2015-08-20 07:35:05 +02:00
Snaipe
60e84a48fe Switched appveyor platform to x86_64 2015-08-20 06:37:01 +02:00
Snaipe
5f8fcbc56b Changed ugly git reset --hard to git checkout -B 2015-08-20 06:30:23 +02:00
Snaipe
054bd4ebea Cleaned up environment variables and added coveralls service name 2015-08-20 06:22:10 +02:00
Snaipe
9fd4dc3dd5 Cleaned up appveyor build config 2015-08-20 05:52:52 +02:00
Snaipe
00d198856f Removed FreeBSD downloads until we get a FreeBSD CI service 2015-08-20 05:45:55 +02:00
Snaipe
49e94f5b88 Added appveyor deployment 2015-08-20 05:40:25 +02:00
Snaipe
a6a6c4c79f Fixed crashes on invalid report hooks 2015-08-19 17:51:05 -07:00
Snaipe
d052330c21 Force usage of get_win_section_{start,stop} on cygwin 2015-08-19 17:51:05 -07:00
Snaipe
5550801a2e Added automatic release to tagged travis builds 2015-08-20 02:11:34 +02:00
Snaipe
efb2587da5 Added macro expansion round before stringification for GET_SECTION_START/STOP. This fixes report hooks not working for Windows and OSX 2015-08-07 21:40:00 -07:00
Snaipe
799f46a3e3 [Issue #30] Added special accessors for section limits on OS X 2015-08-07 19:51:11 -07:00
Snaipe
eba6c030e3 Removed packages from travis config as they are either already installed or unused 2015-08-07 14:15:43 +02:00
Snaipe
d47fc48257 Added osx CI job 2015-08-07 13:56:12 +02:00