allow consecutive startPranks (#840)

* allow consecutive startPranks

* rm empty file

Author: anvacaru

src/kontrol/kdist/cheatcodes.md

@@ -1328,7 +1328,7 @@ Will also return true if REASON is `.Bytes`.
            <prevOrigin> _ => OG </prevOrigin>
            <newCaller> _ => NEWCALLER </newCaller>
            <newOrigin> _ => NEWORIGIN </newOrigin>
-           <active> false => true </active>
+           <active> _ => true </active>
            <depth> _ => CD </depth>
            <singleCall> _ => SINGLEPRANK </singleCall>
          </prank>

src/tests/integration/test-data/foundry-prove-skip-legacy

@@ -191,6 +191,7 @@ PlainPrankTest.testFail_startPrank_existingAlready()
 PlainPrankTest.testFail_startPrank_internalCall()
 PlainPrankTest.test_prank_expectRevert()
 PlainPrankTest.test_prank_zeroAddress_true()
+PlainPrankTest.test_startPrank_consecutive()
 PlainPrankTest.test_startPrank_true()
 PlainPrankTest.test_startPrankWithOrigin_true()
 PlainPrankTest.test_startPrank_zeroAddress_true()

src/tests/integration/test-data/foundry/test/PlainPrankTest.t.sol

@@ -97,6 +97,15 @@ contract PlainPrankTest is Test {
         vm.stopPrank();
     }
 
+    function test_startPrank_consecutive() public {
+        AdditionalToken token = new AdditionalToken();
+        vm.startPrank(address(0));
+        token.incrementCount();
+        vm.startPrank(address(1));
+        vm.stopPrank();
+        assert(token.count() == 1);
+
+    }
     function test_prank_zeroAddress_true() public {
         AdditionalToken token = new AdditionalToken();
         vm.prank(address(0));

src/tests/integration/test-data/show/contracts.k.expected

@@ -8705,6 +8705,8 @@ module S2KtestZModPlainPrankTest-CONTRACT
 
     syntax S2KtestZModPlainPrankTestMethod ::= "S2KtestZUndstartPrankWithOriginZUndtrue" "(" ")" [symbol("method_test%PlainPrankTest_S2KtestZUndstartPrankWithOriginZUndtrue_")]
 
+    syntax S2KtestZModPlainPrankTestMethod ::= "S2KtestZUndstartPrankZUndconsecutive" "(" ")" [symbol("method_test%PlainPrankTest_S2KtestZUndstartPrankZUndconsecutive_")]
+    
     syntax S2KtestZModPlainPrankTestMethod ::= "S2KtestZUndstartPrankZUndtrue" "(" ")" [symbol("method_test%PlainPrankTest_S2KtestZUndstartPrankZUndtrue_")]
 
     syntax S2KtestZModPlainPrankTestMethod ::= "S2KtestZUndstartPrankZUndzeroAddressZUndtrue" "(" ")" [symbol("method_test%PlainPrankTest_S2KtestZUndstartPrankZUndzeroAddressZUndtrue_")]
@@ -8765,6 +8767,9 @@ module S2KtestZModPlainPrankTest-CONTRACT
     rule  ( S2KtestZModPlainPrankTest . S2KtestZUndstartPrankWithOriginZUndtrue ( ) => #abiCallData ( "test_startPrankWithOrigin_true" , .TypedArgs ) )
 
 
+    rule  ( S2KtestZModPlainPrankTest . S2KtestZUndstartPrankZUndconsecutive ( ) => #abiCallData ( "test_startPrank_consecutive" , .TypedArgs ) )
+      
+    
     rule  ( S2KtestZModPlainPrankTest . S2KtestZUndstartPrankZUndtrue ( ) => #abiCallData ( "test_startPrank_true" , .TypedArgs ) )
 
 
@@ -8828,6 +8833,9 @@ module S2KtestZModPlainPrankTest-CONTRACT
     rule  ( selector ( "test_startPrankWithOrigin_true()" ) => 1559633499 )
 
 
+    rule  ( selector ( "test_startPrank_consecutive()" ) => 2693862981 )
+      
+    
     rule  ( selector ( "test_startPrank_true()" ) => 243527947 )