use File.create_rebuilt_project_from_visitor + bug fixed with predicate false and true

src/plugins/e-acsl/main.ml

@@ -63,7 +63,7 @@ let generate_code =
     (fun name ->
       try
 	let visit prj = Visit.do_visit ~prj true in
-	File.create_project_from_visitor name visit
+	File.create_rebuilt_project_from_visitor name visit
       with Visit.Typing_error s ->
 	Options.abort "%s" s)
 

src/plugins/e-acsl/visit.ml

@@ -47,8 +47,8 @@ let mk_if acc e p =
 let convert_named_predicate acc generate p =
   let mk_if e = mk_if acc e p in
   match p.content with
-  | Pfalse -> if generate then mk_if (zero ~loc:unknown_loc) else acc
-  | Ptrue -> if generate then mk_if (one ~loc:unknown_loc) else acc
+  | Pfalse -> if generate then mk_if (one ~loc:unknown_loc) else acc
+  | Ptrue -> if generate then mk_if (zero ~loc:unknown_loc) else acc
   | Papp _ -> not_yet "logic function application"
   | Pseparated _ -> not_yet "separated"
   | Prel _ -> not_yet "relation"