added insertion_sort to contract order file

KeYProject · Oct 26, 2023 · 6fd19c1 · 6fd19c1
1 parent 3c94277
commit 6fd19c1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/contract-order.txt b/contract-order.txt
@@ -228,6 +228,7 @@ de.wiesler.Classifier[de.wiesler.Classifier::classify_locally_batched([I,int,int
 
 de.wiesler.Classifier[de.wiesler.Classifier::classify_locally([I,int,int,[I,de.wiesler.Buffers)].JML normal_behavior operation contract.0
 
+de.wiesler.Sorter[de.wiesler.Sorter::insertion_sort([I,int,int)].JML normal_behavior operation contract.0
 de.wiesler.Sorter[de.wiesler.Sorter::fallback_sort([I,int,int)].JML normal_behavior operation contract.0
 
 de.wiesler.Sorter[de.wiesler.Sorter::base_case_sort([I,int,int)].JML normal_behavior operation contract.0