Gidon Katten

SPIKE Add ability to advance time when network is in devmode

6

## Problem It is very difficult to test smart contracts that rely on time / block number. The current workaround I use is to add global state variables to smart...

Improve False Positives

1

In the limitted analysis that I have done it seems like the tool does not recognise the following rekey check, leading to false positives: ``` txn GroupIndex int 3 ==...

Tealer error in check_rekey_to

2

When running the command `tealer contract.teal`, I get the following error: ``` Traceback (most recent call last): File "/Users/gidon/tealer/venv/bin/tealer", line 33, in sys.exit(load_entry_point('tealer==0.0.2', 'console_scripts', 'tealer')()) File "/Users/gidon/tealer/venv/lib/python3.8/site-packages/tealer-0.0.2-py3.8.egg/tealer/__main__.py", line 75, in...