(tests
 (names
  analysisErrorTest
  annotatedCallTest
  annotatedCallableTest
  annotatedDefineTest
  annotatedGlobalEnvironmentTest
  annotatedSignatureTest
  astEnvironmentTest
  attrsTest
  callgraphTest
  cfgTest
  classHierarchyEnvironmentTest
  classHierarchyTest
  classSuccessorMetadataEnvironmentTest
  classSummaryTest
  constraintsSetTest
  environmentTest
  errorsEnvironmentTest
  fixpointTest
  functionDefinitionEnvironmentTest
  globalLeakCheckTest
  globalResolutionTest
  latticeOfMapsTest
  locationBasedLookupTest
  matchTranslateTest
  moduleTest
  moduleTrackerTest
  namedTupleTest
  newTypeTest
  overlaidEnvironmentTest
  preprocessingTest
  pyrePysaEnvironmentTest
  typeInfoTest
  resolutionTest
  resolvedCallableTest
  scopeTest
  signatureSelectionTest
  sqlAlchemyTest
  taintAccessPathTest
  tryFinallyRefinementTest
  typeAliasEnvironmentTest
  typeCheckTest
  typeConstraintsTest
  typeOperationTest
  typeOrderTest
  typeTest
  typedDictionaryAttributeTest
  unannotatedGlobalEnvironmentTest
  uninitializedLocalCheckTest
  weakTopologicalOrderTest
  weakenMutableLiteralsTest)
 (preprocess
  (pps
   ppx_deriving.eq
   ppx_deriving.show
   ppx_compare
   ppx_sexp_conv
   ppx_sexp_message
   ppx_hash))
 (libraries
  ounit2
  unix
  sexplib
  ppxlib
  ppx_hash
  ppx_deriving
  pyrelib.test
  pyrelib.analysis))
