File tree Expand file tree Collapse file tree
test/unit/EthereumVaultConnector Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -16,7 +16,7 @@ remappings = [
1616
1717[profile .default .fuzz ]
1818max_test_rejects = 1_000_000
19- seed = " 0xee1d0f7d9556539a9c0e26aed5e63556 "
19+ seed = " 0xee1d0f7d9556539a9c0e26aed5e63555 "
2020runs = 1000
2121
2222[profile .default .invariant ]
Original file line number Diff line number Diff line change @@ -274,7 +274,7 @@ contract CallTest is Test {
274274 vm.assume (operator != address (evc) && targetContract != operator && ! evc.haveCommonOwner (alice, operator));
275275 vm.assume (
276276 uint160 (targetContract) > 255 && targetContract != address (evc)
277- && ! evc.haveCommonOwner (alice, targetContract)
277+ && ! evc.haveCommonOwner (alice, targetContract) && targetContract.code. length == 0
278278 );
279279 vm.assume (id != 0 );
280280 vm.assume (data.length != 0 );
You can’t perform that action at this time.
0 commit comments