comment

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@4684 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
2014-10-31 17:21:46 +00:00 · 2014-10-31 17:21:46 +00:00 · d166dd3099
parent f1077108fc
commit d166dd3099
1 changed files with 1 additions and 0 deletions
--- a/regression/cbmc/Float_lib2/main.c
+++ b/regression/cbmc/Float_lib2/main.c
@ -13,6 +13,7 @@
 int main (void)
 {
  #ifdef __GNUC__
+  // Visual Studio won't parse the hexadecimal floating-point literal
  float largestSubnormalFloat = 0x1.fffffcp-127f;

  assert(fpclassify(largestSubnormalFloat) != FP_NAN);