Until now, str.isnumeric() was used to detect semantic predicates that had fixed values. However, that could only detect integers. Anything with a decimal point was rejected. Fixed to use float().
coverage: 88.426% (+0.04%) from 88.386%
when pulling 6fae268bd3ea23613efebfa2af9528c4b32065b1 on akosthekiss:float-conditions
into 82a327c7c5248c0e5b9bcf18edf0cda6dabe91e8 on renatahodovan:master.
Until now,
str.isnumeric()
was used to detect semantic predicates that had fixed values. However, that could only detect integers. Anything with a decimal point was rejected. Fixed to usefloat()
.