Bruno Farias issues

Results 1 issues of


                                            Bruno Farias

ESBMC should be able to infer and annotate the type from function returns like: ``` def foo() -> int: return 0 x = foo() ```

python