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.