Permalink
Browse files

fix checker tests

  • Loading branch information...
brice-morin committed May 24, 2017
1 parent 9b644c6 commit 85d3482f5ba2019cc8a37ab7c4d003af2c9e2b11
@@ -12,7 +12,7 @@ thing fragment Foo
}
thing TestCheckAbstractFunction includes Test, Foo
@test "x # "
@test "x # x"
{
//Should fail because function foo is not implemented
@@ -10,7 +10,7 @@ thing fragment Foo
}
thing TestCheckAbstractFunction1 includes Test, Foo
@test "x # "
@test "x # x"
{
//Should fail because function foo cannot be implemented twice
function foo() do
@@ -1,7 +1,7 @@
import "../thingml.thingml"
thing TestCheckFunctionCalls includes Test
@test "x # "
@test "x # x"
{
function foo(a : Integer) do
//...
@@ -1,7 +1,7 @@
import "../thingml.thingml"
thing TestCheckFunctionCalls2 includes Test
@test "x # "
@test "x # x"
{
function foo(a : Integer) do
//...
@@ -10,7 +10,7 @@ thing fragment Foo
}
thing TestCheckStateMachine includes Test, Foo
@test "x # "
@test "x # x"
{
//Should fail because it should not be allowed to have two statechart in the composed thing

0 comments on commit 85d3482

Please sign in to comment.