Add -e-acsl-temporal option

src/plugins/e-acsl/options.ml

@@ -77,6 +77,13 @@ module Gmp_only =
       let help = "always use GMP integers instead of C integral types"
      end)
 
+module Temporal_validity =
+  False
+    (struct
+      let option_name = "-e-acsl-temporal-validity"
+      let help = "enable temporal analysis in valid annotations"
+     end)
+
 module Full_mmodel =
   False
     (struct

src/plugins/e-acsl/options.mli

@@ -30,6 +30,7 @@ module Gmp_only: Parameter_sig.Bool
 module Full_mmodel: Parameter_sig.Bool
 module Project_name: Parameter_sig.String
 module Builtins: Parameter_sig.String_set
+module Temporal_validity: Parameter_sig.Bool
 
 val must_visit: unit -> bool