t/*: Add sortInjection{} attr needed by newer versions of kore-exec

kframework · Jul 3, 2019 · f1006cf · f1006cf
1 parent e23bf99
commit f1006cf
Show file tree

Hide file tree

Showing 6 changed files with 6 additions and 6 deletions.
diff --git a/t/foobar/expected.ekore b/t/foobar/expected.ekore
@@ -18,7 +18,7 @@ endmodule [  ]
 
 module C-INJ
   axiom { S1 , S2 , S3 , R } \equals { S3 , R } ( inj { S2 , S3 } ( inj { S1 , S2 } ( T : S1 ) ) , inj { S1 , S3 } ( T : S1 ) ) [  ]
-  symbol inj { From , To } ( From ) : To [  ]
+  symbol inj { From , To } ( From ) : To [ sortInjection{}() ]
 endmodule [  ]
 
 module D-K

diff --git a/t/foobar/foobar.ekore b/t/foobar/foobar.ekore
@@ -25,7 +25,7 @@ module B-KSEQ
 endmodule [ ]
 
 module C-INJ
-  symbol inj{From,To}(From) : To []
+  symbol inj{From,To}(From) : To [ sortInjection{}() ]
 
   axiom{S1,S2,S3,R}
     \equals{S3,R}(

diff --git a/t/imp-simple/expected.ekore b/t/imp-simple/expected.ekore
@@ -23,7 +23,7 @@ endmodule [  ]
 module C-INJ
 
   axiom { S1 , S2 , S3 , R } \equals { S3 , R } ( inj { S2 , S3 } ( inj { S1 , S2 } ( T : S1 ) ) , inj { S1 , S3 } ( T : S1 ) ) [  ]
-  symbol inj { From , To } ( From ) : To [  ]
+  symbol inj { From , To } ( From ) : To [ sortInjection{}() ]
 
 endmodule [  ]
 

diff --git a/t/imp-simple/imp-simple.ekore b/t/imp-simple/imp-simple.ekore
@@ -25,7 +25,7 @@ module B-KSEQ
 endmodule [ ]
 
 module C-INJ
-  symbol inj{From,To}(From) : To []
+  symbol inj{From,To}(From) : To [ sortInjection{}() ]
 
   axiom{S1,S2,S3,R}
     \equals{S3,R}(

diff --git a/t/peano/expected.ekore b/t/peano/expected.ekore
@@ -18,7 +18,7 @@ endmodule [  ]
 
 module C-INJ
   axiom { S1 , S2 , S3 , R } \equals { S3 , R } ( inj { S2 , S3 } ( inj { S1 , S2 } ( T : S1 ) ) , inj { S1 , S3 } ( T : S1 ) ) [  ]
-  symbol inj { From , To } ( From ) : To [  ]
+  symbol inj { From , To } ( From ) : To [ sortInjection{}() ]
 endmodule [  ]
 
 module D-K

diff --git a/t/peano/peano.ekore b/t/peano/peano.ekore
@@ -25,7 +25,7 @@ module B-KSEQ
 endmodule [ ]
 
 module C-INJ
-  symbol inj{From,To}(From) : To []
+  symbol inj{From,To}(From) : To [ sortInjection{}() ]
   axiom{S1,S2,S3,R} \equals{S3,R}( inj{S2,S3}(inj{S1,S2}(T:S1)), inj{S1,S3}(T:S1)) []
 endmodule [ ]