Commit a4e3e80

authored

Merge pull request #79 from goblint/__builtin_nanf

Replace calls to `__builtin_nanX` with expression leading to NaN

2 parents 4e2ccf7 + 45c612e commit a4e3e80Copy full SHA for a4e3e80

3 files changed

+322

-325

lines changed

+322

-325

lines changed

Comments

(0)