5 Commits

Author	SHA1	Message	Date
Daniel Kroening	8b2fc415fe	mark gcc tests as 'gcc-only' to prevent execution by goto-cl on Windows	2018-06-12 22:08:36 +01:00
Daniel Kroening	1d93fa1d7c	Visual Studio packs bit-fields differently	2018-06-12 19:22:06 +01:00
Daniel Kroening	7a3a07f1fe	fix test result for goto-cl	2018-06-10 16:13:30 +01:00
Daniel Kroening	bdd5bbb6b0	ask CL preprocessor for UTF-8 output	2018-06-09 17:20:16 +01:00
Daniel Kroening	d4cd32d664	AWS codebuild buildspec for Windows	2018-06-09 12:09:30 +01:00