Code

Tagging of test suites#350

Code

Merged

ailrst merged 40 commits intomainUQ-PAC/BASIL:mainfrom scalatest-groupingUQ-PAC/BASIL:scalatest-groupingCopy head branch name to clipboardMar 13, 2025

Commits

Commits on Mar 6, 2025

• tagging up to unit tests

  katrinafyi

  committed
  b19b06c

  Copy full SHA for b19b06c

• add standardsystemtests and comment for annotatetestcase

  katrinafyi

  committed
  5c4abaa

  Copy full SHA for 5c4abaa

• ci: check for test tagging

  katrinafyi

  committed
  cf69e97

  Copy full SHA for cf69e97

• ci: use tags to run tests

  katrinafyi

  committed
  3f73558

  Copy full SHA for 3f73558

• Merge remote-tracking branch 'origin/main' into scalatest-grouping

  Show description for 334b182
  katrinafyi

  committed
  334b182

  Copy full SHA for 334b182

• scalafmt

  katrinafyi

  committed
  aae397f

  Copy full SHA for aae397f

• ci: update message

  katrinafyi

  committed
  d7e02b7

  Copy full SHA for d7e02b7

• use cancel() instead of assume(false)

  katrinafyi

  committed
  c1a0524

  Copy full SHA for c1a0524

Commits on Mar 7, 2025

• DifferentialTest marking. added TestCustomisation mixin

  katrinafyi

  committed
  4ef3f7f

  Copy full SHA for 4ef3f7f

• tag remaining tests

  katrinafyi

  committed
  de8f664

  Copy full SHA for de8f664

• add script. add some missing tags

  katrinafyi

  committed
  96ce9f5

  Copy full SHA for 96ce9f5

• Merge remote-tracking branch 'origin/main' into scalatest-grouping

  Show description for 1da085b
  katrinafyi

  committed
  1da085b

  Copy full SHA for 1da085b

• ci: add durations to test runner output

  katrinafyi

  committed
  9ec8ae6

  Copy full SHA for 9ec8ae6

• SATTest: remove smt.timeout option (it is set by command line)

  katrinafyi

  committed
  dc3ae4e

  Copy full SHA for dc3ae4e

• disable stack_pointer cases in memory region tests

  katrinafyi

  committed
  fd9d70b

  Copy full SHA for fd9d70b

• extra spec tests

  katrinafyi

  committed
  585bf05

  Copy full SHA for 585bf05

• indirect call tests

  katrinafyi

  committed
  09fd1e0

  Copy full SHA for 09fd1e0

• tweak customised test messages, fix SimplifyMemorySystemTests

  katrinafyi

  committed
  88b0873

  Copy full SHA for 88b0873

• fix testcustomisation case oopsie, use self-type instead of AnyFunSuite

  katrinafyi

  committed
  43a81e4

  Copy full SHA for 43a81e4

• print current outcome of xfail tests

  katrinafyi

  committed
  93abe5a

  Copy full SHA for 93abe5a

Commits on Mar 11, 2025

• review: split ExpectFailure into TempFailure and NotImplemented

  katrinafyi

  committed
  15e8801

  Copy full SHA for 15e8801

• move TestCustomisation into its own file

  katrinafyi

  committed
  a77724a

  Copy full SHA for a77724a

• Merge remote-tracking branch 'origin/main' into scalatest-grouping

  katrinafyi

  committed
  e407854

  Copy full SHA for e407854

• tests: update indirect call test modes after merge

  katrinafyi

  committed
  efa63f4

  Copy full SHA for efa63f4

• scalafmt

  katrinafyi

  committed
  9a3e55b

  Copy full SHA for 9a3e55b

• add script to execute scalatest runner

  Show description for 6f92d39
  katrinafyi

  committed
  6f92d39

  Copy full SHA for 6f92d39

Commits on Mar 12, 2025

• IndirectCallTests: add remarks from review

  katrinafyi

  committed
  86b0d89

  Copy full SHA for 86b0d89

• Merge remote-tracking branch 'origin/main' into scalatest-grouping

  Show description for 3684717
  katrinafyi

  committed
  3684717

  Copy full SHA for 3684717

• add Slow tag, make check-test-tagging stricter

  katrinafyi

  committed
  25a25ca

  Copy full SHA for 25a25ca

• tag IntervalDSATest

  katrinafyi

  committed
  bf327c6

  Copy full SHA for bf327c6

• IndirectCallTests: move to Analysis and un-mark some not implemented

  katrinafyi

  committed
  bdc5055

  Copy full SHA for bdc5055

• add some helpful commands to scalatest.sh

  katrinafyi

  committed
  4160752

  Copy full SHA for 4160752

• docs: add testing.md to describe some testing infrastructure

  katrinafyi

  committed
  6589b32

  Copy full SHA for 6589b32

• IntervalDSATest: mark as broken

  katrinafyi

  committed
  44b7a36

  Copy full SHA for 44b7a36

• Merge remote-tracking branch 'origin/main' into scalatest-grouping

  katrinafyi

  committed
  4f475f2

  Copy full SHA for 4f475f2

• IntervalDSATest: unbreak one test

  katrinafyi

  committed
  cf92db5

  Copy full SHA for cf92db5

• Merge remote-tracking branch 'origin/main' into scalatest-grouping

  katrinafyi

  committed
  1eee5f9

  Copy full SHA for 1eee5f9

• Merge remote-tracking branch 'origin/main' into scalatest-grouping

  katrinafyi

  committed
  9e65f20

  Copy full SHA for 9e65f20

Commits on Mar 13, 2025

• Merge remote-tracking branch 'origin/main' into scalatest-grouping

  katrinafyi

  committed
  01ed37d

  Copy full SHA for 01ed37d

• IntervalDSATest: unbreak

  katrinafyi

  committed
  62f0aa5

  Copy full SHA for 62f0aa5