Small tweaks

README.md

@@ -22,4 +22,3 @@ The main script is `schedgen-optimize.py` in the folder `schedgen`.
 Running this command with `--help` produces an overview of the available
 options.  For some pointers on how to use everything, take a look at the
 `contrib/run.sh` script.
-

schedgen/schedgen-finalize.py

@@ -31,12 +31,13 @@ args_parser.add_argument(
     type=file_path,
 )
 args_parser.add_argument(
-    "--timeout",
-    metavar="TIMEOUT",
-    dest="timeout",
-    help="Total time available to the schedules.  Exposed to the template.",
-    default=None,
+    "-t",
+    "--time",
+    dest="time",
+    metavar="T",
+    default=240.0,
     type=float,
+    help="Total time available in seconds.",
 )
 args_parser.add_argument(
     "--executable",
@@ -88,7 +89,7 @@ if __name__ == "__main__":
     rendered = template.render(
         logics=logics,
         schedules=referencedSchedules,
-        timeout=args.timeout,
+        time=args.time,
         executable=args.executable,
     )
     with open(args.output, "w") as outputFile:

schedgen/schedgen-simulate.py

@@ -40,7 +40,7 @@ args_parser.add_argument(
     metavar="T",
     default=None,
     type=float,
-    help="Total time avialable to the schedule in seconds.",
+    help="Total time available to the schedule in seconds.",
 )
 args_parser.add_argument(
     "-c",

setup.py

@@ -35,6 +35,7 @@ setup(
         "schedgen/schedgen-optimize.py",
         "schedgen/schedgen-finalize.py",
         "schedgen/schedgen-finalize.py",
+        "schedgen/schedgen-visualize.py"
     ],
     license="BSD 3-Clause License",
     classifiers=[

shell.nix

@@ -3,7 +3,7 @@
  * development environemt.
  *
  * When the nix package manager is installed run 
- *  > nix-shell ./scripts/dev-env.nix 
+ *  > nix-shell
  * to get a shell with the dependenies of veriT present. This was only tested
  * on NixOS, but should work on other platforms which are supported by the Nix
  * packagemanger (such as MacOS X) too.