No, currently the prover can't prove programs that fail. That is why Cairo can't have try/catch, for example.


ㅤ
_This answer was originally posted on [Triality](https://triality.org/question/410)_

Is there a way to call another function or contract and 'expect it to fail' without failing the whole transaction?


ㅤ
_This question was originally posted on [Triality](https://triality.org/question/410)_

Expect function call to fail in cairo?

Can someone explain the difference `between unsigned_div_rem` and `uint256_unsigned_div_rem`?

Why unit version process so many extra steps, but overall number of steps for computing are different for these methods?



Can someone explain the difference between unsigned_div_rem and uint256_unsigned_div_rem?

Hey guys, has anyone had `get_caller_address` problems in devnet ? I feel like it's returning address 0 when it shouldn't so I made this small contract to test it

```%lang starknet

from starkware.cairo.common.cairo_builtins import HashBuiltin

from starkware.starknet.common.syscalls import (get_caller_address)


func caller_addr() -> (res: felt) {
}



func fn_to_be_called{syscall_ptr: felt*, pedersen_ptr: HashBuiltin*, range_check_ptr: felt}() {
    let (caller) = get_caller_address();
    caller_addr.write(caller);    

    return ();
}


func get_caller_addr{syscall_ptr: felt*, pedersen_ptr: HashBuiltin*, range_check_ptr: felt}() -> (caller_addr: felt) {
    let (caller) = caller_addr.read();

    return (caller_addr=caller);
}```

and indeed `get_caller_addr` return address 0 after I called `fn_to_be_called` in the devnet. This is causing some problems in more complex contracts of course. Is it just me ?



_This question was originally posted on [StarkNet Discord](https://www.newton.so/view?tags=discord)_

Has anyone had `get_caller_address` problems in devnet ?

How can I prepare my Cairo lang project for an audit?

In Cairo is there a way to declare a bunch of storage vars at once. Right now I have to put the @storage_var before every storage var, is there a way to do all of these at once


ㅤ
_This question was originally posted on [Triality](https://triality.org/question/220)_

Cairo Multiple Storage Vars

Hey, I have some tokens on my account and would like to send them to another. How to do it in StarkNet.py?

How to send tokens through StarkNet.py?

Trying to install warp with command `yarn global add @nethermindeth/warp`

after successful install I try:
`warp install --verbose`
get this error:

```
zsh: command not found: warp
```


How to install Nethermind's Solidity to Cairo transpiler without an error "command not found: warp"?

What is the best way to check if a value is less than another value in a conditional? Say if x > y, then do something


ㅤ
_This question was originally posted on [Triality](https://triality.org/question/491)_

Popular tags

Expect function call to fail in cairo?

1 answers

Your answer

Related

You may find useful