Snaipe
|
4aa7c07295
|
Made the samples compile with MSVC
|
2015-09-06 00:37:30 +02:00 |
|
Snaipe
|
289731d47d
|
Update libcsptr to allow MSVC compilation
|
2015-09-06 00:37:30 +02:00 |
|
Snaipe
|
b9e3923b7c
|
Removed any usage of GNU C-only macros from libcsptr, using smalloc & sfree directly instead
|
2015-09-06 00:37:30 +02:00 |
|
Snaipe
|
48e96c06e6
|
Merge branch 'features/msvc-compat-2' into bleeding
|
2015-09-05 10:45:59 -07:00 |
|
Snaipe
|
11eb4a9f10
|
Added __VA_ARGS__ macro expansions in theories.h for MSVC compatibility
|
2015-09-05 10:38:24 -07:00 |
|
Snaipe
|
e8e81a7dd5
|
Added expansion round on __VA_ARGS__ in assert macros for MSVC compatibility
|
2015-09-05 10:08:59 -07:00 |
|
Snaipe
|
6b3ba2f1bb
|
Fixed .def output path
|
2015-09-05 08:58:46 -07:00 |
|
Snaipe
|
09661568d7
|
Added .def file generation on windows
|
2015-09-05 17:48:11 +02:00 |
|
Snaipe
|
d756a2f858
|
Started to take another try for MSVC compatibility
|
2015-09-05 15:31:14 +02:00 |
|
Snaipe
|
29befaf779
|
Added better parameter formatting for theories & added bool theory parameter to misc sample
|
2015-09-04 16:39:40 +02:00 |
|
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 |
|