Revert "set default schedule to shanghai in tests/specs/examples"

This reverts commit 341173e.
runtimeverification · Sep 8, 2023 · 6c04f6e · 6c04f6e
1 parent 563162d
commit 6c04f6e
Show file tree

Hide file tree

Showing 6 changed files with 16 additions and 16 deletions.
diff --git a/tests/specs/examples/Storage.sol b/tests/specs/examples/Storage.sol
@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: UNLICENSED
-pragma solidity 0.8.13;
+pragma solidity ^0.8.13;
 
 contract Storage {
     bool public myBool;

diff --git a/tests/specs/examples/erc20-spec.md b/tests/specs/examples/erc20-spec.md
@@ -66,7 +66,7 @@ module ERC20-SPEC
 ```k
     claim [decimals]:
           <mode>     NORMAL   </mode>
-          <schedule> SHANGHAI </schedule>
+          <schedule> ISTANBUL </schedule>
 
           <callStack> .List                                      </callStack>
           <program>   #binRuntime(S2KERC20)                         </program>
@@ -106,7 +106,7 @@ module ERC20-SPEC
 ```k
     claim [totalSupply]:
           <mode>     NORMAL   </mode>
-          <schedule> SHANGHAI </schedule>
+          <schedule> ISTANBUL </schedule>
 
           <callStack> .List                                      </callStack>
           <program>   #binRuntime(S2KERC20)                         </program>
@@ -147,7 +147,7 @@ module ERC20-SPEC
 ```k
     claim [approve.success]:
           <mode>     NORMAL   </mode>
-          <schedule> SHANGHAI </schedule>
+          <schedule> ISTANBUL </schedule>
 
           <callStack> .List                                      </callStack>
           <program>   #binRuntime(S2KERC20)                         </program>
@@ -186,7 +186,7 @@ module ERC20-SPEC
 ```k
     claim [approve.revert]:
           <mode>     NORMAL   </mode>
-          <schedule> SHANGHAI </schedule>
+          <schedule> ISTANBUL </schedule>
 
           <callStack> .List                                      </callStack>
           <program>   #binRuntime(S2KERC20)                         </program>

diff --git a/tests/specs/examples/erc721-spec.md b/tests/specs/examples/erc721-spec.md
@@ -73,7 +73,7 @@ claim (#lookup(ACCT_STORAGE, 0) /Int 2 <Int 32)
 ```k
     claim [name.short.success]:
           <mode>     NORMAL   </mode>
-          <schedule> SHANGHAI </schedule>
+          <schedule> ISTANBUL </schedule>
 
           <callStack> .List                                       </callStack>
           <program>   #binRuntime(S2KERC721)                         </program>
@@ -107,7 +107,7 @@ claim (#lookup(ACCT_STORAGE, 0) /Int 2 <Int 32)
 ```k
     claim [name.short.revert]:
           <mode>     NORMAL   </mode>
-          <schedule> SHANGHAI </schedule>
+          <schedule> ISTANBUL </schedule>
 
           <callStack> .List                                       </callStack>
           <program>   #binRuntime(S2KERC721)                         </program>

diff --git a/tests/specs/examples/solidity-code-spec.md b/tests/specs/examples/solidity-code-spec.md
@@ -94,7 +94,7 @@ module SOLIDITY-CODE-SPEC
 ```k
     claim [bad-call-data]:
           <mode>     NORMAL   </mode>
-          <schedule> SHANGHAI </schedule>
+          <schedule> ISTANBUL </schedule>
 
           <callStack> .List                                 </callStack>
           <program>   #binRuntime()                         </program>
@@ -123,7 +123,7 @@ module SOLIDITY-CODE-SPEC
 ```k
     claim [add-positive]:
           <mode>     NORMAL   </mode>
-          <schedule> SHANGHAI </schedule>
+          <schedule> ISTANBUL </schedule>
 
           <callStack> .List                                 </callStack>
           <program>   #binRuntime()                         </program>
@@ -157,7 +157,7 @@ module SOLIDITY-CODE-SPEC
 ```k
     claim [add-negative]:
           <mode>     NORMAL   </mode>
-          <schedule> SHANGHAI </schedule>
+          <schedule> ISTANBUL </schedule>
 
           <callStack> .List                                 </callStack>
           <program>   #binRuntime()                         </program>
@@ -191,7 +191,7 @@ module SOLIDITY-CODE-SPEC
 ```
     claim [badAdd-negative]:
           <mode>     NORMAL   </mode>
-          <schedule> SHANGHAI </schedule>
+          <schedule> ISTANBUL </schedule>
 
           <callStack> .List                                 </callStack>
           <program>   #binRuntime()                         </program>
@@ -224,7 +224,7 @@ module SOLIDITY-CODE-SPEC
 ```k
     claim [max-positive]:
           <mode>     NORMAL   </mode>
-          <schedule> SHANGHAI </schedule>
+          <schedule> ISTANBUL </schedule>
 
           <callStack> .List                                 </callStack>
           <program>   #binRuntime()                         </program>

diff --git a/tests/specs/examples/storage-spec.md b/tests/specs/examples/storage-spec.md
@@ -67,7 +67,7 @@ module STORAGE-SPEC
 ```k
     claim [myBool]:
           <mode>     NORMAL   </mode>
-          <schedule> SHANGHAI </schedule>
+          <schedule> ISTANBUL </schedule>
 
           <callStack> .List                                        </callStack>
           <program>   #binRuntime(S2KStorage)                         </program>
@@ -100,7 +100,7 @@ module STORAGE-SPEC
 ```k
     claim [setMyBool]:
           <mode>     NORMAL   </mode>
-          <schedule> SHANGHAI </schedule>
+          <schedule> ISTANBUL </schedule>
 
           <callStack> .List                                        </callStack>
           <program>   #binRuntime(S2KStorage)                         </program>

diff --git a/tests/specs/examples/sum-to-n-spec.k b/tests/specs/examples/sum-to-n-spec.k
@@ -34,7 +34,7 @@ module SUM-TO-N-SPEC
 
     claim <k> #execute ... </k>
           <mode> NORMAL </mode>
-          <schedule> SHANGHAI </schedule>
+          <schedule> ISTANBUL </schedule>
           <callStack> .List </callStack>
           <memoryUsed> 0   </memoryUsed>
           <localMem> .Bytes </localMem>
@@ -51,7 +51,7 @@ module SUM-TO-N-SPEC
 
     claim <k> #execute ... </k>
           <mode> NORMAL </mode>
-          <schedule> SHANGHAI </schedule>
+          <schedule> ISTANBUL </schedule>
           <callStack> .List </callStack>
           <memoryUsed> 0   </memoryUsed>
           <localMem> .Bytes </localMem>