Repository navigation

Refactoring unit and integration tests - #1917

Merged

beu5a merged 33 commits into

mainfrom

yassine/ci-tests-refactoring

Feb 26, 2026

Merged

Refactoring unit and integration tests#1917
beu5a merged 33 commits into
mainfrom
yassine/ci-tests-refactoring

Commits on Feb 24, 2026
- Add reorg for integration tests
  beu5a
  committed
  934d192
- move unit tests to runtime subdirecory
  beu5a
  committed
  5fa8956
- remove redundant tests
  beu5a
  committed
  713dc1b
- Add rust runtime integration tests
  beu5a
  committed
  c0b4174
- Merge branch 'main' into yassine/ci-tests-refactoring
  beu5a
  authored
  b746b01
- Merge remote-tracking branch 'origin/main' into yassine/ci-tests-refactoring
  beu5a
  committed
  0965ff4
- Merge branch 'main' into yassine/ci-tests-refactoring
  beu5a
  authored
  7982c4d
- refactor repl output to use out constant instead of console log
  beu5a
  committed
  4a66bff
- update rust repl tets
  beu5a
  committed
  35092f0
- update deprecated backend tests
  beu5a
  committed
  bf46682
- fix old repl rust tests and add dignostics related tests
  beu5a
  committed
  7a4a810
- Update integration tests for the test command
  beu5a
  committed
  77e737d
- Update integration tests for the repl command
  beu5a
  committed
  ec04f16
- reorganise integration tests
  beu5a
  committed
  c918f34
- update github workflows
  beu5a
  committed
  62fbcbe
Commits on Feb 25, 2026
- update apalache WF
  beu5a
  committed
  3ec5124
- update verification tests to the latest version
  beu5a
  committed
  f83a130
- further updates to the verification tests
  beu5a
  committed
  882579c
- cp apalache jar into quint path
  beu5a
  committed
  51b17a2
- rename apalache tests && separate lang tests into cli and io
  beu5a
  committed
  0ae4e0c
- exclude TS runtime tests from windows suite
  beu5a
  committed
  601aa08
- group integration tests
  beu5a
  committed
  7936d79
- add grouping commands and cleanup old tests
  beu5a
  committed
  1fc843e
- rename worflow files for better consistency
  beu5a
  committed
  3edc45e
- npm formatting pass
  beu5a
  committed
  bcfeaf9
- Merge branch 'main' into yassine/ci-tests-refactoring
  beu5a
  authored
  859dc32
- fix wrong test expectations after bug fixes
  beu5a
  committed
  995e91f
- try bug fix for tempfile name error on macos repl integration tests
  beu5a
  committed
  a28238b
- replace usage of head by sed (Claude suggestion)
  beu5a
  committed
  bc24b01
- fix regressed test and remove leftover comment
  beu5a
  committed
  05143ae
- make typescript argument explicit in deprecated repl test
  beu5a
  committed
  9bbe7ab
Commits on Feb 26, 2026
- Merge branch 'main' into yassine/ci-tests-refactoring
  beu5a
  authored
  e6a8c90
- trigger ci
  beu5a
  committed
  f912984

Commits

Commits on Feb 24, 2026

Commits on Feb 25, 2026

Commits on Feb 26, 2026