Skip to content
Snippets Groups Projects
Unverified Commit 325363e0 authored by Jeno Attila Balasko's avatar Jeno Attila Balasko Committed by GitHub
Browse files

Merge pull request #116 from eadrkir/master

Corrected negative tests
parents a9937314 2769fc3a
No related branches found
No related tags found
No related merge requests found
......@@ -5006,7 +5006,7 @@ module NegSem_B010206_superset_005 {
<END_MODULE>
<RESULT COUNT 1>
error: A template of type '@NegSem_B010206_superset_005.SoI' can not be used as target of 'all from'
error: 'superset match' can not be used as target of 'all from'
<END_RESULT>
<END_TC>
......@@ -5078,7 +5078,7 @@ module NegSem_B010206_superset_006 {
<END_MODULE>
<RESULT COUNT 1>
error: A template of type '@NegSem_B010206_superset_006.SoI' can not be used as target of 'all from'
error: 'subset match' can not be used as target of 'all from'
<END_RESULT>
<END_TC>
......@@ -5498,7 +5498,7 @@ module NegSem_B010207_subset_005 {
<END_MODULE>
<RESULT COUNT 1>
error: A template of type '@NegSem_B010207_subset_005.SoI' can not be used as target of 'all from'
error: 'superset match' can not be used as target of 'all from'
<END_RESULT>
<END_TC>
......@@ -5571,7 +5571,7 @@ module NegSem_B010207_subset_006 {
<END_MODULE>
<RESULT COUNT 1>
error: A template of type '@NegSem_B010207_subset_006.SoI' can not be used as target of 'all from'
error: 'subset match' can not be used as target of 'all from'
<END_RESULT>
<END_TC>
......@@ -6055,7 +6055,7 @@ module NegSem_B010303_permutation_002 {
<END_MODULE>
<RESULT COUNT 1>
error: A template of type 'integer' can not be used as target of 'all from'
error: 'specific value' can not be used as target of 'all from'
<END_RESULT>
<END_TC>
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment