fix(checker): test- and run-ids need to be parsed

src/checker/default.nix

@@ -52,8 +52,6 @@ in stdenv.mkDerivation rec {
       -H:Name=${pname} \
       ${lib.optionalString stdenv.isDarwin ''-H:-CheckToolchain''} \
       -H:+ReportExceptionStackTraces \
-      -H:EnableURLProtocols=http,https \ # TODO(stevan): shouldn't be needed?
-      --enable-all-security-services \   # TODO(stevan): shouldn't be needed?
       -H:IncludeResources="db/.*|static/.*|templates/.*|.*.yml|.*.xml|.*/org/sqlite/.*|org/sqlite/.*" \
       -H:JNIConfigurationFiles=${src}/native-image/jni-config.json \
       -H:ReflectionConfigurationFiles=${src}/native-image/reflection-config.json \

src/checker/src/checker/core.clj

@@ -59,8 +59,6 @@
   [test-id run-id]
   (let [dir (fs/temp-dir "detsys-elle")
         history (db/get-history :list-append test-id run-id)]
-    (pprint "HISTORY")
-    (pprint history)
     (-> (list-append/check
          {:consistency-models [:strict-serializable]
           :directory dir}
@@ -97,12 +95,13 @@
           (System/exit 0)))
     (db/setup-db (db/db))
     (case arg0
-      "rw-register" (analyse test-id run-id checker-rw-register)
-      "list-append" (analyse test-id run-id checker-list-append)
+      "rw-register" (analyse (Integer/parseInt test-id) (Integer/parseInt run-id)
+                             checker-rw-register)
+      "list-append" (analyse (Integer/parseInt test-id) (Integer/parseInt run-id)
+                             checker-list-append)
       (println
        "First argument should be a model, i.e. either \"rw-register\" or \"list-append\""))))
 
-
 (comment
   (db/setup-db (db/db))
   (checker-list-append 1 0)