metaborg/dynsem

Analysis crashes on empty rules section

Closed this issue · 0 comments

vvergu commented

Static analysis fails on modules which contain empty rules sections.