Commit f4c55a17 authored by Markus Klinik's avatar Markus Klinik
Browse files

Assignment02Rules: test case

parent edfabaa4
......@@ -10,7 +10,7 @@ import IO;
import ClassHierarchy;
import Util;
set[Message] allAssignment01Rules(M3 model)
set[Message] allAssignment02Rules(M3 model)
= a02_all_io_in_view(model)
module Assignment02RulesSpec
import Set;
import SpecUtil;
import Assignment02Rules;
test bool allGood()
errors = allAssignment02Rules(loadTestProject("assignment02-hangman-example-solution"));
return isEmpty(errors);
\ No newline at end of file
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment