Code

Develop a unit testing system#378

Code

Merged

gfngfn merged 10 commits intodev-0-1-0-package-systemgfngfn/SATySFi:dev-0-1-0-package-systemfrom dev-0-1-0-test-systemgfngfn/SATySFi:dev-0-1-0-test-systemCopy head branch name to clipboardNov 17, 2022

+696-217

Commits

Commits on Nov 15, 2022

• make 'val' bindings support attributes

  gfngfn

  committed
  6cd9ed6

  Copy full SHA for 6cd9ed6

• make 'val' bindings support '#[test]' attributes

  gfngfn

  committed
  aa6840d

  Copy full SHA for aa6840d

Commits on Nov 16, 2022

• add the subcommand 'satysfi test'

  gfngfn

  committed
  153fcbd

  Copy full SHA for 153fcbd

• make package configs support the 'test_directories' section

  gfngfn

  committed
  a8ba9d7

  Copy full SHA for a8ba9d7

• slight fixes on 'OptionState'

  gfngfn

  committed
  8d49cf0

  Copy full SHA for 8d49cf0

• add a small example unit test for 'stdlib'

  gfngfn

  committed
  3be1f55

  Copy full SHA for 3be1f55

Commits on Nov 17, 2022

• make test result message printed, and set the exit status code to 1 when some test fails

  gfngfn

  committed
  ddec1ce

  Copy full SHA for ddec1ce

• change the result type of tests from 'option string' to 'unit'

  gfngfn

  committed
  a688852

  Copy full SHA for a688852

• fix how to run tests about 'use_test_only_lock'

  gfngfn

  committed
  848b94b

  Copy full SHA for 848b94b

• develop a new package 'testing' and use it in tests for 'stdlib'

  gfngfn

  committed
  6828cfb

  Copy full SHA for 6828cfb