search

second-state / SOLL

SOLL is a new compiler for generate Ewasm from solidity and yul. See a demo here: https://asciinema.org/a/ezJqNLicn5fya02zwu4VXIo8a
https://www.secondstate.io/
377 stars 23 forks source link

SOLL Runtime Test Failures #72

Open eee4017 opened 3 years ago

eee4017 commented 3 years ago

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 3 years ago

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