Skip to content

Fix memory and cores limit for mopsa-validate-correctness-witnesses

Simmo Saan requested to merge mopsa-validate-limits into main

All other correctness witness validators have these memory and cores limits. The current ones have been copied from the Mopsa verifier.

Merge request reports