Skip to content

Commit

Permalink
lint
Browse files Browse the repository at this point in the history
  • Loading branch information
dapp-whisperer committed Mar 14, 2024
1 parent 08b5144 commit 1ca3031
Showing 1 changed file with 15 additions and 5 deletions.
20 changes: 15 additions & 5 deletions packages/contracts/foundry_test/EchidnaToFoundry.t.sol
Original file line number Diff line number Diff line change
Expand Up @@ -63,16 +63,26 @@ contract EToFoundry is
}

function test_liquidateCdps_08() public {
openCdp(59914065220882616393901627116916467295390012089046490709986378073849688866148, 10000000000000000);
openCdp(16002900921349397461820461540535496838629497080543343904020315696343902073030, 1250000000000000000);
openCdp(
59914065220882616393901627116916467295390012089046490709986378073849688866148,
10000000000000000
);
openCdp(
16002900921349397461820461540535496838629497080543343904020315696343902073030,
1250000000000000000
);
setEthPerShare(7913129639936);
setEthPerShare(27102804808253893354785944191622943930425593039073810666902981047999574677831);
setEthPerShare(
27102804808253893354785944191622943930425593039073810666902981047999574677831
);
vm.warp(1716900);
vm.roll(131713);
vm.roll(131713);
echidna_LS_01();
vm.warp(2182521);
vm.roll(135224);
liquidateCdps(115792089237316195423570985008687907853269984665640564039457584007913129639928);
liquidateCdps(
115792089237316195423570985008687907853269984665640564039457584007913129639928
);
}

function testgeneral17AgainByOneWei() public {
Expand Down

0 comments on commit 1ca3031

Please sign in to comment.