rational_comparison.sol 577 B

123456789101112131415161718192021
  1. // Ensure that rational comparisons are not permitted
  2. contract c {
  3. function foo1(uint64 a, uint64 b) public returns (bool) {
  4. return (a/b) >= 0.05;
  5. }
  6. function foo2(uint64 a, uint64 b) public returns (bool) {
  7. return 002.2 > a;
  8. }
  9. function foo3(uint64 a, uint64 b) public returns (bool) {
  10. return 1 == 0.05;
  11. }
  12. function foo4(uint64 a, uint64 b) public returns (bool) {
  13. return a*2.1 < b;
  14. }
  15. function foo5(uint64 a, uint64 b) public returns (bool) {
  16. return (a << b) <= 0.05;
  17. }
  18. function foo6(uint64 a, uint64 b) public returns (bool) {
  19. return 1.2 != (a ^ b);
  20. }
  21. }