second-state/SOLL

SOLL Runtime Test Failures

eee4017 opened this issue · 1 comments

eee4017 commented

Try to fix failures in soll runtime test, there is mainly 4 class of failures. All of them are elaborated in the notion note.

Failures below seem like bugs during the compile time, we need to fix the bugs in the soll compiler:

  1. Failed operation (wrong answers)
  2. Out-of-bound Access

Failures below caused by different environment setup compared to the solc testing environment:

  1. Host environment: Host constants should be setup correctly
  2. Incorrect test cases: the inevitable differences between the compiler object. We should modify the test case to fit the answer.
eee4017 commented

Most of the runtime tests are fixed in #75 , while these tests remain as future work

  • ./libyul/yulInterpreterTests/recursive_function_for_loop recursive function are not optimized by SOLL, this should fix the optimizer.
  • ./libyul/yulInterpreterTests/external_call