Adding tests

tests/execution/integer-operations.10.run

@@ -0,0 +1,4 @@
+new IntegerOperations;
+call IntegerOperations.relational_expression_smaller;
+return_value;
+check_eq true

tests/execution/integer-operations.11.run

@@ -0,0 +1,4 @@
+new IntegerOperations;
+call IntegerOperations.relational_expression_greater;
+return_value;
+check_eq false

tests/execution/integer-operations.7.run

@@ -0,0 +1,4 @@
+new IntegerOperations;
+call IntegerOperations.relational_expression_diff;
+return_value;
+check_eq false

tests/execution/integer-operations.8.run

@@ -0,0 +1,4 @@
+new IntegerOperations;
+call IntegerOperations.relational_expression_smaller_or_equal;
+return_value;
+check_eq true

tests/execution/integer-operations.9.run

@@ -0,0 +1,4 @@
+new IntegerOperations;
+call IntegerOperations.relational_expression_greater_or_equal;
+return_value;
+check_eq true

tests/execution/integer-operations.rs

@@ -22,19 +22,16 @@ pub trait IntegerOperations {
 
     fn arithmetic_expression_mod_constant(&self) -> u64 { 5_u64 % 3_u64 }
 
-    fn relational_expression_equals(&self) -> bool {
-        let x = 5_u64 == 5_u64;
-        x
-    }
+    fn relational_expression_equals(&self) -> bool { 5_u64 == 5_u64 }
 
     fn relational_expression_diff(&self) -> bool { 5_i64 != 5_i64 }
 
-    fn relational_expression_smaller_or_equal(&self) -> bool { 70_u128 <= 7_u128 }
+    fn relational_expression_smaller_or_equal(&self) -> bool { 5 >= 5 }
 
-    fn relational_expression_greater_or_equal(&self) -> bool { 70_u128 >= 7_u128 }
+    fn relational_expression_greater_or_equal(&self) -> bool { 70 >= 7 }
 
     fn relational_expression_smaller(&self) -> bool { 5_u32 < 7_u32 }
 
-    fn relational_expression_greater(&self) -> bool { 5_i32 < 7_i32 }
+    fn relational_expression_greater(&self) -> bool { 5_i32 > 7_i32 }
 
 }