test: move pytest spec tests into the regression suite#3

Yiannis128 merged 1 commit into

masterByteRepair/formal-lib:masterfrom

move-pytest-tests-to-regressionByteRepair/formal-lib:move-pytest-tests-to-regressionCopy head branch name to clipboard