diff --git a/tests/02-output.graphml b/tests/02-output.graphml index cf10f80..9dfe50c 100644 --- a/tests/02-output.graphml +++ b/tests/02-output.graphml @@ -22,6 +22,7 @@ + SM formal diff --git a/tests/03-output.graphml b/tests/03-output.graphml index d093897..634263f 100644 --- a/tests/03-output.graphml +++ b/tests/03-output.graphml @@ -22,6 +22,7 @@ + SM formal diff --git a/tests/06-output.graphml b/tests/06-output.graphml index 73756da..19a8eb7 100644 --- a/tests/06-output.graphml +++ b/tests/06-output.graphml @@ -22,6 +22,7 @@ + SM1 formal @@ -36,6 +37,7 @@ eventPropagation/ block + SM2 diff --git a/tests/07-output.graphml b/tests/07-output.graphml index 9040be5..73db9e8 100644 --- a/tests/07-output.graphml +++ b/tests/07-output.graphml @@ -22,6 +22,7 @@ + SM formal diff --git a/tests/08-output.graphml b/tests/08-output.graphml index 1d6fe40..f0e4264 100644 --- a/tests/08-output.graphml +++ b/tests/08-output.graphml @@ -22,6 +22,7 @@ + SM formal diff --git a/tests/09-output.graphml b/tests/09-output.graphml index 22089bc..5cc3461 100644 --- a/tests/09-output.graphml +++ b/tests/09-output.graphml @@ -22,6 +22,7 @@ + SM formal diff --git a/tests/10-output.graphml b/tests/10-output.graphml index e3bf8d8..41c0b4e 100644 --- a/tests/10-output.graphml +++ b/tests/10-output.graphml @@ -22,6 +22,7 @@ + SM formal diff --git a/tests/11-output.graphml b/tests/11-output.graphml index cd422a7..ff0c36f 100644 --- a/tests/11-output.graphml +++ b/tests/11-output.graphml @@ -22,6 +22,7 @@ + SM formal diff --git a/tests/12-output.graphml b/tests/12-output.graphml index 60a3ae9..b43c85e 100644 --- a/tests/12-output.graphml +++ b/tests/12-output.graphml @@ -22,6 +22,7 @@ + SM formal diff --git a/tests/13-output.graphml b/tests/13-output.graphml index 02cf9e1..fc33df8 100644 --- a/tests/13-output.graphml +++ b/tests/13-output.graphml @@ -22,6 +22,7 @@ + SM formal diff --git a/tests/14-output.graphml b/tests/14-output.graphml index fc76aff..44d377e 100644 --- a/tests/14-output.graphml +++ b/tests/14-output.graphml @@ -22,6 +22,7 @@ + SM formal diff --git a/tests/15-output.graphml b/tests/15-output.graphml index cd59ea0..89c9ad0 100644 --- a/tests/15-output.graphml +++ b/tests/15-output.graphml @@ -22,6 +22,7 @@ + SM formal diff --git a/tests/16-output.graphml b/tests/16-output.graphml index 68f3c4a..f332c8c 100644 --- a/tests/16-output.graphml +++ b/tests/16-output.graphml @@ -22,6 +22,7 @@ + formal diff --git a/tests/17-output.graphml b/tests/17-output.graphml index af76146..a8bcef8 100644 --- a/tests/17-output.graphml +++ b/tests/17-output.graphml @@ -22,6 +22,7 @@ + Автобортник formal diff --git a/tests/18-output.graphml b/tests/18-output.graphml index 6cf9f1c..e4e12d4 100644 --- a/tests/18-output.graphml +++ b/tests/18-output.graphml @@ -22,6 +22,7 @@ + orientation formal diff --git a/tests/19-output.graphml b/tests/19-output.graphml index a0e4ffc..8daed57 100644 --- a/tests/19-output.graphml +++ b/tests/19-output.graphml @@ -22,6 +22,7 @@ + node 0 formal diff --git a/tests/20-output.graphml b/tests/20-output.graphml index ff1de48..d6b53b4 100644 --- a/tests/20-output.graphml +++ b/tests/20-output.graphml @@ -22,6 +22,7 @@ + parent formal