From 9481ee668450a5381efd5efb5475d8a8b2f12dcf Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Thu, 30 Aug 2018 14:58:24 +0200
Subject: [PATCH] use sorted iterator to stabilize tests
---
src/plugins/e-acsl/visit.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/visit.ml b/src/plugins/e-acsl/visit.ml
index a65afdce47a..0cd4db83923 100644
--- a/src/plugins/e-acsl/visit.ml
+++ b/src/plugins/e-acsl/visit.ml
@@ -211,7 +211,7 @@ class e_acsl_visitor prj generate = object (self)
let return =
Cil.mkStmt ~valid_sid:true (Return(None, Location.unknown)) in
(* Generate init statements for temporal analysis *)
- let tinit_stmts = Varinfo.Hashtbl.fold
+ let tinit_stmts = Varinfo.Hashtbl.fold_sorted
(fun vi (off, init) acc ->
match init with
| Some init ->
--
GitLab