From f36317c97eb33c95c94e3894a9013ba48a3cbd57 Mon Sep 17 00:00:00 2001 From: Stevan Andjelkovic Date: Mon, 25 Jan 2021 15:34:48 +0100 Subject: [PATCH] fix(checker): test- and run-ids need to be parsed --- src/checker/default.nix | 2 -- src/checker/src/checker/core.clj | 9 ++++----- 2 files changed, 4 insertions(+), 7 deletions(-) diff --git a/src/checker/default.nix b/src/checker/default.nix index 8e9df020..fd3a86c1 100644 --- a/src/checker/default.nix +++ b/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 \ diff --git a/src/checker/src/checker/core.clj b/src/checker/src/checker/core.clj index ff6dabed..d2b357db 100644 --- a/src/checker/src/checker/core.clj +++ b/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)