bug: invariant test log/traces not shown

[mds1]

Component

Forge

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

• Foundry
• 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;
  }
}

[shekhirin]

Should be fixed by #3451

[mds1]

Hmm how come in that screenshot the console logs for nonces 1–15 are not logged? Each call of the invariant test should increment it by 1, so it looks like that trace only shows the trace for the last run in the sequence? It also doesn't seem to show the calls to increment() in the trace

[mds1]

In other words, I'd expect two repeating parts of the trace:

• trace of setUp
• trace of execution of invariant_NonceGoUp (depth=0)
• trace of execution of first call made by fuzzer
• trace of execution of invariant_NonceGoUp (depth=1)
• trace of execution of second call made by fuzzer
• etc.

[lucas-manuel]

Yes this would be very helpful for debugging.