Update test with sort instead of param

runtimeverification · May 24, 2022 · caabccf · caabccf
1 parent 905eb86
commit caabccf
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/k-distribution/tests/regression-new/json-input/json-in1.json.kast b/k-distribution/tests/regression-new/json-input/json-in1.json.kast
@@ -1 +1 @@
-{"format":"KAST","version":2,"term":{"node":"KApply","label":{"node":"KLabel","name":"#Equals","params":[{"node":"KSort","name":"Sort1"},{"node":"KSort","name":"Sort2"}]},"arity":2,"args":[{"node":"KToken","sort":"Int","token":"3"},{"node":"KToken","sort":"Int","token":"4"}]}}
+{"format":"KAST","version":2,"term":{"node":"KApply","label":{"node":"KLabel","name":"#Equals","params":[{"node":"KSort","name":"K"},{"node":"KSort","name":"K"}]},"arity":2,"args":[{"node":"KToken","sort":"Int","token":"3"},{"node":"KToken","sort":"Int","token":"4"}]}}
diff --git a/k-distribution/tests/regression-new/json-input/json-in2.json.kast b/k-distribution/tests/regression-new/json-input/json-in2.json.kast
@@ -1 +1 @@
-{"format":"KAST","version":2,"term":{"node":"KApply","label":{"node":"KLabel","name":"#Equals","params":[{"node":"KSort","name":"Sort1"},{"node":"KSort","name":"Sort2"}]},"arity":2,"args":[{"node":"KToken","sort":"Int","token":"3"},{"node":"KToken","sort":"Int","token":"3"}]}}
+{"format":"KAST","version":2,"term":{"node":"KApply","label":{"node":"KLabel","name":"#Equals","params":[{"node":"KSort","name":"K"},{"node":"KSort","name":"K"}]},"arity":2,"args":[{"node":"KToken","sort":"Int","token":"3"},{"node":"KToken","sort":"Int","token":"3"}]}}
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		{"format":"KAST","version":2,"term":{"node":"KApply","label":{"node":"KLabel","name":"#Equals","params":[{"node":"KSort","name":"Sort1"},{"node":"KSort","name":"Sort2"}]},"arity":2,"args":[{"node":"KToken","sort":"Int","token":"3"},{"node":"KToken","sort":"Int","token":"4"}]}}
		{"format":"KAST","version":2,"term":{"node":"KApply","label":{"node":"KLabel","name":"#Equals","params":[{"node":"KSort","name":"K"},{"node":"KSort","name":"K"}]},"arity":2,"args":[{"node":"KToken","sort":"Int","token":"3"},{"node":"KToken","sort":"Int","token":"4"}]}}