Skip to content

Create branch to solve issue #946, supporting noreturn attribute

Closes #946 (closed)

Merge request reports