support declaration and initialization to literal

Pi-Squared-Inc · Aug 22, 2024 · fc64ebe · fc64ebe
1 parent 8ee58ba
commit fc64ebe
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/statement.md b/src/statement.md
@@ -22,5 +22,8 @@ module SOLIDITY-STATEMENT
   rule <k> LT:TypeName X:Id = v(V, RT) ; => .K ...</k>
        <env> E => E [ X <- var(!I:Int, LT) ] </env>
        <store> S => S [ !I <- convert(V, RT, LT) ] </store>
+  rule <k> LT:TypeName X:Id = N:NumberLiteral ; => .K ...</k>
+       <env> E => E [ X <- var(!I:Int, LT) ] </env>
+       <store> S => S [ !I <- convert(Number2Int(N), LT) ] </store>
 
 endmodule