mark tests that are meant for goto-gcc only#2331

Merged

tautschnig merged 3 commits intodevelopfrom

arch_flags_tests

Jun 12, 2018

Commits on Jun 12, 2018

fix gcc_attributes10
Daniel Kroening
committed
fix return values of __builtin_classify_type
Daniel Kroening
committed
mark gcc tests as 'gcc-only' to prevent execution by goto-cl on Windows
Daniel Kroening
committed