Skip to content

Add debug Parameter to verifyModules Methode and have elm-verify-integrated use it

Bennet Bleßmann requested to merge elm-to-sbv-transform into master

Added Mode enum to Specs.Data Made Verifier.verifyModules take a Mode

elm-verify-external is updated to always pass Default for now elm-verify-integrated passes Debug iff --debug is specified for the elm compiler , otherwise it passes Default

Edited by Bennet Bleßmann

Merge request reports