This repository was archived by the owner on Jun 11, 2025. It is now read-only.
File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -30,7 +30,7 @@ contract TracingSubCalls {
30
30
contract SubContractCreate {
31
31
/// @dev Constructor that encrypts the input
32
32
/// @param input The value to be encrypted
33
- constructor (uint256 input ) {
33
+ constructor (uint64 input ) {
34
34
TFHE.asEuint64 (input);
35
35
}
36
36
}
@@ -39,7 +39,7 @@ contract SubContractCreate {
39
39
contract SubContractCreateFail {
40
40
/// @dev Constructor that encrypts the input and then fails
41
41
/// @param input The value to be encrypted before failing
42
- constructor (uint256 input ) {
42
+ constructor (uint64 input ) {
43
43
TFHE.asEuint64 (input);
44
44
require (false , "This constructor always fails " );
45
45
}
@@ -63,7 +63,7 @@ contract SubContract {
63
63
/// @notice Internal function that fails with a custom input
64
64
/// @dev Encrypts the input before failing
65
65
/// @param input The value to be encrypted before failing
66
- function fail2 (uint input ) external {
66
+ function fail2 (uint64 input ) external {
67
67
TFHE.asEuint64 (input);
68
68
require (false , "This function always fails with custom input " );
69
69
}
You can’t perform that action at this time.
0 commit comments