Symbolic execution

[Rog3rSm1th]

Implement the symbolic execution:

• Create an analyzer to automatically generate test cases for the cairo functions

  thoth local ./tests/json_files/cairo_test_symbolic_execution_3.json -a tests --color

• Use the symbolic execution to find the right variables values to get through a specific path in a function

 thoth local ./tests/json_files/cairo_test_symbolic_execution_3.json --symbolic -function __main__.test_symbolic_execution -constraint v13==0 v14==0 v15==0 v16==0 v17==0 v18==0 v19==0 v20==0 v21==0 v22==0 v23==0 -solve v0_f v1_u v2_z v3_z2 v4_i v5_n v6_g v7_l v8_a v9_b v10_s

Source code: Symbolic execution result: