foundry icon indicating copy to clipboard operation
foundry copied to clipboard

bug: invariant test log/traces not shown

Open mds1 opened this issue 3 years ago • 0 comments

Component

Forge

Have you ensured that all of these are up to date?

  • [X] Foundry
  • [X] Foundryup

What version of Foundry are you on?

forge 0.2.0 (56dc746 2022-08-26T00:07:43.474069Z)

What command(s) is the bug in?

forge test

Operating System

No response

Describe the bug

Using the test contract, I am unable to view any of the console.logs for successful tests. Like fuzz tests, we should the trace of the last successful run if all runs pass.

contract NonceCounter {
  uint256 public nonce = 1;

  function increment() public {
    nonce++;
  }
}

contract Test3 is Test {
  NonceCounter nonceCounter;
  uint256 lastNonce;

  function setUp() public {
    nonceCounter = new NonceCounter();
  }

  function invariant_NonceGoUp() external {
    console2.log('lastNonce: ', lastNonce);

    uint256 currentNonce = nonceCounter.nonce();
    console2.log('currentNonce: ', nonceCounter.nonce());

    require(currentNonce > lastNonce, "Invariant violated: Nonce did not increase");
    lastNonce = currentNonce;
  }
}

mds1 avatar Aug 26 '22 15:08 mds1