tla_plus.yml\suites\resmokeconfig\buildscripts - delta/mongo.git - github.com: mongodb/mongo.git

index : delta/mongo.git

github.com: mongodb/mongo.git

summary refs log tree commit diff

path: root/buildscripts/resmokeconfig/suites/tla_plus.yml

blob: 0e82c6fb3a418c06fa36618cd03315ba6f03e774 (plain)

test_kind: tla_plus_test

selector:
  roots:
  - src/mongo/tla_plus/**/*.cfg

executor:
  config:
    java_binary: /opt/java/jdk11/bin/java