Skip to content

Draft: Fixes Allen-on-Moore

Adrian Casais Vidal requested to merge acasaisv/fixmoore into master

This struct data type should not be initialized. This causes an error when running with Moore (checking).

Edited by Adrian Casais Vidal

Merge request reports