Skip to content

Commit

Permalink
Merge pull request #79 from goblint/__builtin_nanf
Browse files Browse the repository at this point in the history
Replace calls to `__builtin_nanX` with expression leading to NaN
  • Loading branch information
michael-schwarz authored Feb 17, 2022
2 parents 4e2ccf7 + 45c612e commit a4e3e80
Show file tree
Hide file tree
Showing 3 changed files with 322 additions and 325 deletions.
Loading

0 comments on commit a4e3e80

Please sign in to comment.