b947f4e2f7
Merge pull request #3673 from tautschnig/slice08
...
Remove unused pthread.h include
2019-01-04 15:28:18 +01:00
29a7055514
Merge pull request #3670 from tautschnig/_pipe
...
C library: model _pipe
2019-01-04 15:12:47 +01:00
7fc4489526
Remove unused pthread.h include
...
This test can safely be used on Windows as it does not actually use pthreads at
all.
2019-01-04 12:38:22 +00:00
75216f410c
Merge pull request #3672 from tautschnig/source-loc-gcc
...
Source location output differs across platforms
2019-01-04 13:36:48 +01:00
1a60834eff
C library: model _pipe
...
Windows (though not the Windows Runtime) has _pipe to implement pipe.
2019-01-04 12:34:24 +00:00
3eaed93407
Merge pull request #3669 from tautschnig/int128
...
__int128 is not supported by Visual Studio
2019-01-04 13:33:05 +01:00
65783b9e5a
Source location output differs across platforms
...
Do not make a test specific to GCC-style output.
2019-01-04 11:09:11 +00:00
8a34c4f78e
Remove blank line from test.desc file
...
This trips up test.pl on Windows.
2019-01-04 11:07:59 +00:00
60705e308b
__int128 is not supported by Visual Studio
...
Make the test trivially pass on Windows when not using Cygwin.
2019-01-04 11:04:58 +00:00
2d9c00b504
Make Powershell stop on errors
...
We had failing regression tests, but this went unnoticed because the goto-cl
regression tests were successful (which were the last common run in the cmdlet).
2019-01-02 11:11:14 +00:00
e2716089a5
Remove useless remove commands
...
The directories don't exist anymore.
2018-12-28 19:24:35 +00:00
aedbb7735a
Move regression tests that use C library functions to a separate folder
...
This is a first step to disentangle testing of CBMC's algorithms and core
components from testing of the library models. The next step is to ensure
coverage of all modelled library functions.
2018-11-09 11:28:04 +00:00
e247a29b02
CodeBuild: Remove empty artifact stanza
...
It seems that CodeBuild has become more picky about this, making builds fail
when the list of artifacts resolves to an empty list.
2018-08-11 09:26:53 +00:00
cd4a163fb8
AWS codebuild windows: set clcache base directory
2018-08-06 13:35:32 +01:00
1ba928cfed
cleanup unnecessary path from configuration file
2018-08-06 13:35:32 +01:00
3a9c8254ad
Merge pull request #2682 from diffblue/fix-clcache
...
Codebuild for windows: set up cache path properly
2018-08-04 18:41:44 +01:00
5bc7456787
goto-cl: /Fo can set an output directory
2018-08-04 16:04:19 +01:00
4ad91fb014
Codebuild for windows: set up cache path properly
2018-08-04 15:33:47 +01:00
63652fcb22
add clcache to Windows build
...
This sets up clcache for the AWS Codebuild Windows builds.
clcache is a clone of ccache for Visual Studio CL.
2018-08-01 16:12:22 +01:00
53d24e59db
the jbmc tests now work on Windows
2018-07-17 19:15:01 +01:00
b34e951e52
Use submodule to download java-models-library
2018-07-09 21:13:37 +01:00
e00c6ee8bf
Set BUILD_ENV via make variable instead of patching via sed
2018-06-21 13:04:24 +01:00
8b2fc415fe
mark gcc tests as 'gcc-only' to prevent execution by goto-cl on Windows
2018-06-12 22:08:36 +01:00
1d93fa1d7c
Visual Studio packs bit-fields differently
2018-06-12 19:22:06 +01:00
7a3a07f1fe
fix test result for goto-cl
2018-06-10 16:13:30 +01:00
bdd5bbb6b0
ask CL preprocessor for UTF-8 output
2018-06-09 17:20:16 +01:00
d4cd32d664
AWS codebuild buildspec for Windows
2018-06-09 12:09:30 +01:00
Michael Tautschnig