Skip to content

Commit

Permalink
improved template
Browse files Browse the repository at this point in the history
  • Loading branch information
ggrieco-tob committed May 18, 2022
1 parent e12e2e9 commit d9e19c0
Showing 1 changed file with 9 additions and 1 deletion.
10 changes: 9 additions & 1 deletion EchidnaTest.sol
Original file line number Diff line number Diff line change
@@ -1,9 +1,13 @@
import "ABDKMath64x64.sol";

contract Test {
using ABDKMath64x64 for int128;
int128 internal zero = ABDKMath64x64.fromInt(0);
int128 internal one = ABDKMath64x64.fromInt(1);

event Value(string, int64);
function debug(string calldata x, int128 y) public {
emit Value(x, ABDKMath64x64.toInt(y));
}

function add(int128 x, int128 y) public returns (int128) {
return ABDKMath64x64.add(x, y);
Expand Down Expand Up @@ -33,6 +37,10 @@ contract Test {
return ABDKMath64x64.inv(x);
}

function sqrt(int128 x) public returns (int128) {
return ABDKMath64x64.sqrt(x);
}

function testAdd(int128 x, int128 y, int128 z) public {
// TODO
}
Expand Down

0 comments on commit d9e19c0

Please sign in to comment.