This is sufficient to fix the soundness in issue #49, however I couldn’t quite understand how to bring the testing framework up to date correctly, especially the test-extra/invalid_manual part, so feel free to add a test yourself using the example from #49, either to this PR or as a follow-up :-)
This is sufficient to fix the soundness in issue #49, however I couldn’t quite understand how to bring the testing framework up to date correctly, especially the
test-extra/invalid_manual
part, so feel free to add a test yourself using the example from #49, either to this PR or as a follow-up :-)