syntest-framework/syntest-solidity

Integrate assertions into the encoding

Closed this issue · 1 comments

Currently, the assertions are created dynamically at the end of the search process and written to the test file. It would be nicer if we store the assertions in the encoding itself.

stale commented

This issue has been automatically marked as stale because it has not had recent activity. The resources of our team are limited. This issue will be closed if no further activity occurs.