Chore: add comments in generated files

lib/sasacore/genRegister.ml

@@ -70,9 +70,9 @@ let (f: string list -> string * string -> unit) =
 let to_string _ = \"define_me\"
 let of_string = None
 let copy x = x
-let potential = None
-let legitimate = None
-let fault = None
+let potential = None (* None => only -sd, -cd, -lcd, -dd, or -custd are possible *)
+let legitimate = None (* None => only silent configuration are legitimate *)
+let fault = None (* None => the simulation stop once a legitimate configuration is reached *)
 ";
       flush oc;
       close_out oc;