The order of columns in a gtt specification and a counterexample resulting from that very gtt should be in the same order.
Steps
I provided a specification with two columns "i: input" and "o: output". The code does not satisfy the spec. A counterexample is shown with the two columns in different order. Note: I had to switch the columns earlier when design the table.
The order of columns in a gtt specification and a counterexample resulting from that very gtt should be in the same order.
Steps
I provided a specification with two columns "i: input" and "o: output". The code does not satisfy the spec. A counterexample is shown with the two columns in different order. Note: I had to switch the columns earlier when design the table.
problemsession.zip (github does not accept .xml files here)