Pb/model based testing

sdk/bazel-java-deps.bzl

@@ -273,6 +273,7 @@ def install_java_deps():
             "org.typelevel:paiges-core_{}:0.4.2".format(scala_major_version),
             "org.wartremover:wartremover_{}:2.4.21".format(scala_version),
             "org.xerial:sqlite-jdbc:3.36.0.1",
+            "tools.aqua:z3-turnkey:4.13.0",
             maven.artifact("com.github.pureconfig", "pureconfig-macros_2.12", "0.14.0", neverlink = True),
         ],
         fetch_sources = True,

sdk/canton/BUILD.bazel

@@ -226,6 +226,7 @@ da_scala_library(
     tags = ["maven_coordinates=com.daml:canton-community-util-logging:__VERSION__"],
     unused_dependency_checker_mode = "error",
     visibility = [
+        "//daml-lf/model-test-lib:__subpackages__",
         "//daml-lf/validation:__subpackages__",
         "//daml-script:__subpackages__",
         "//language-support:__subpackages__",

sdk/daml-lf/model-test-lib/BUILD.bazel

@@ -0,0 +1,120 @@
+# Copyright (c) 2024 Digital Asset (Switzerland) GmbH and/or its affiliates. All rights reserved.
+# SPDX-License-Identifier: Apache-2.0
+
+load(
+    "//bazel_tools:scala.bzl",
+    "da_scala_binary",
+    "da_scala_library",
+    "lf_scalacopts_stricter",
+)
+load(
+    "//rules_daml:daml.bzl",
+    "daml_compile",
+    "default_damlc_opts",
+)
+load(
+    "//daml-lf/language:daml-lf.bzl",
+    "ENGINE_LF_VERSIONS",
+    "mangle_for_damlc",
+)
+
+PKG_VERSIONS = [
+    (1, None),
+    (2, 1),
+    (3, 2),
+]
+
+[
+    daml_compile(
+        name = "universal-pkgv{pkg_version}-lf{lf_version}".format(
+            lf_version = mangle_for_damlc(lf_version),
+            pkg_version = pkg_version,
+        ),
+        srcs = ["src/main/daml/Universal.daml"],
+        ghc_options = default_damlc_opts + [
+            "--ghc-option=-DPACKAGE_VERSION={}".format(pkg_version),
+        ],
+        project_name = "universal",
+        target = lf_version,
+        typecheck_upgrades = True,
+        upgrades = "//daml-lf/model-test-lib:universal-pkgv{pkg_version}-lf{lf_version}.dar".format(
+            lf_version = mangle_for_damlc(lf_version),
+            pkg_version = upgraded,
+        ) if upgraded != None else None,
+        version = "{}.0.0".format(pkg_version),
+    )
+    for lf_version in ENGINE_LF_VERSIONS
+    for (pkg_version, upgraded) in PKG_VERSIONS
+]
+
+da_scala_library(
+    name = "model-test-lib",
+    srcs = glob(
+        ["src/main/**/*.scala"],
+        exclude = ["src/main/scala/com/digitalasset/daml/lf/model/test/Demo.scala"],
+    ),
+    data = ["//canton:community_app_deploy.jar"],
+    scala_deps = [
+        "@maven//:org_scalacheck_scalacheck",
+        "@maven//:org_scalaz_scalaz_core",
+        "@maven//:org_typelevel_cats_core",
+        "@maven//:org_scala_lang_modules_scala_parser_combinators",
+        "@maven//:org_apache_pekko_pekko_stream",
+        "@maven//:org_typelevel_cats_kernel",
+        "@maven//:org_typelevel_paiges_core",
+    ],
+    scalacopts = lf_scalacopts_stricter,
+    tags = ["maven_coordinates=com.daml:daml-lf-model-test-lib:__VERSION__"],
+    visibility = ["//visibility:public"],
+    deps = [
+        "//bazel_tools/runfiles:scala_runfiles",
+        "//canton:bindings-java",
+        "//canton:community_ledger_ledger-common",
+        "//canton:community_util-logging",
+        "//canton:ledger_api_proto_scala",
+        "//daml-lf/archive:daml_lf_archive_reader",
+        "//daml-lf/data",
+        "//daml-lf/interpreter",
+        "//daml-lf/language",
+        "//daml-lf/scenario-interpreter",
+        "//daml-lf/transaction",
+        "//daml-script/runner:script-runner-lib",
+        "//language-support/java/bindings-rxjava",
+        "//libs-scala/contextualized-logging",
+        "//libs-scala/rs-grpc-bridge",
+        "@maven//:io_grpc_grpc_netty",
+        "@maven//:io_reactivex_rxjava2_rxjava",
+        "@maven//:org_reactivestreams_reactive_streams",
+        "@maven//:tools_aqua_z3_turnkey",
+    ],
+)
+
+da_scala_binary(
+    name = "demo",
+    srcs = ["src/main/scala/com/digitalasset/daml/lf/model/test/Demo.scala"],
+    data = [":universal-pkgv{pkg_version}-lf{lf_version}.dar".format(
+        lf_version = mangle_for_damlc(lf_version),
+        pkg_version = pkg_version,
+    ) for lf_version in ENGINE_LF_VERSIONS for (pkg_version, _) in PKG_VERSIONS],
+    main_class = "com.digitalasset.daml.lf.model.test.Demo",
+    resources = ["//daml-script/runner:src/main/resources/logback.xml"],
+    scala_deps = [
+        "@maven//:org_scalacheck_scalacheck",
+        "@maven//:org_scala_lang_modules_scala_parser_combinators",
+        "@maven//:org_apache_pekko_pekko_actor",
+        "@maven//:org_apache_pekko_pekko_stream",
+        #"@maven//:org_typelevel_cats_core",
+    ],
+    runtime_deps = [
+        "@maven//:ch_qos_logback_logback_classic",
+    ],
+    deps = [
+        ":model-test-lib",
+        "//bazel_tools/runfiles:scala_runfiles",
+        "//canton:community_util-logging",
+        "//daml-lf/data",
+        "//daml-lf/language",
+        "//libs-scala/rs-grpc-bridge",
+        "//libs-scala/rs-grpc-pekko",
+    ],
+)

sdk/daml-lf/model-test-lib/bootstrap.canton

@@ -0,0 +1,17 @@
+import com.digitalasset.canton.version.ProtocolVersion
+
+val staticDomainParameters = StaticDomainParameters.defaults(sequencer1.config.crypto, ProtocolVersion.dev)
+
+// Bootstrap the domain
+bootstrap.domain(
+  domainName = "da",
+  sequencers = Seq(sequencer1),
+  mediators = Seq(mediator1),
+  domainOwners = Seq(sequencer1, mediator1),
+  domainThreshold = PositiveInt.one,
+  staticDomainParameters = staticDomainParameters,
+)
+
+participant1.domains.connect_local(sequencer1, alias = "da")
+participant2.domains.connect_local(sequencer1, alias = "da")
+participant3.domains.connect_local(sequencer1, alias = "da")

sdk/daml-lf/model-test-lib/canton.conf

@@ -0,0 +1,65 @@
+canton {
+
+  features.enable-testing-commands = yes
+  features.enable-preview-commands = yes
+
+  sequencers {
+    sequencer1 {
+      storage.type = memory
+      public-api.port = 5001
+      admin-api.port = 5002
+    }
+  }
+
+  mediators {
+    mediator1 {
+      storage.type = memory
+      admin-api.port = 5202
+    }
+  }
+
+  participants {
+    participant1 {
+      storage.type = memory
+      admin-api.port = 5012
+      ledger-api.port = 5011
+      ledger-api.user-management-service.enabled = yes
+    }
+
+    participant2 {
+      storage.type = memory
+      admin-api.port = 5014
+      ledger-api.port = 5013
+      ledger-api.user-management-service.enabled = yes
+    }
+
+    participant3 {
+      storage.type = memory
+      admin-api.port = 5016
+      ledger-api.port = 5015
+      ledger-api.user-management-service.enabled = yes
+    }
+
+  }
+}
+
+# alpha version
+
+canton.parameters {
+  non-standard-config = yes
+  alpha-version-support = yes
+}
+
+canton.participants.participant1.parameters = {
+  alpha-version-support = yes
+}
+
+
+canton.participants.participant2.parameters = {
+  alpha-version-support = yes
+}
+
+
+canton.participants.participant3.parameters = {
+  alpha-version-support = yes
+}

sdk/daml-lf/model-test-lib/run_canton.sh

@@ -0,0 +1,9 @@
+#!/bin/bash
+# Copyright (c) 2024 Digital Asset (Switzerland) GmbH and/or its affiliates. All rights reserved.
+# SPDX-License-Identifier: Apache-2.0
+
+
+DIR="$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )"
+
+cd "$DIR"/../..
+bazel run canton/community_app -- daemon -c ${DIR}/canton.conf --bootstrap ${DIR}/bootstrap.canton --debug --log-file-name=/tmp/canton.log