1 2 3 4 5
From the parent folder: $ python3 example/symex.py example/test_files/fib $ python3 example/symex.py example/test_files/cycle $ python3 example/symex.py example/test_files/hasheq etc.