diffblue-cbmc/regression/cbmc/unsigned___int128
Michael Tautschnig 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
..
main.c __int128 is not supported by Visual Studio 2019-01-04 11:04:58 +00:00
test.desc Make test work again and turn it on 2017-04-07 14:06:15 +01:00