Integrate assertions into the encoding

Question

Integrate assertions into the encoding

Closed this issue 3 years ago · 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.

Answer 1 · 2021-10-18T23:10:26.000Z

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.