search

Consensys / corset

4 stars 10 forks source link

Increase Testing Surface #122

Open DavePearce opened 1 month ago

DavePearce commented 1 month ago

Currently, we only have models for the following tests:

tests/arrays_1.lisp
tests/shift_1.lisp
tests/shift_3.lisp
tests/iszero.lisp
tests/shift_2.lisp
tests/shift_5.lisp

Its a good start, but we need to flesh out all the rest.