Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Refine testing mechanism #451

Merged
merged 31 commits into from
Aug 31, 2024
Merged

Refine testing mechanism #451

merged 31 commits into from
Aug 31, 2024

Conversation

gfngfn
Copy link
Owner

@gfngfn gfngfn commented Aug 30, 2024 •
edited
Loading

  • Change tests to ones of type unit -> unit, not unit
    • That is, we will write #[test] val foo-test () = … rather than #[test] val foo-test = …
  • Reformulate Testing so that it resembles alcotest in OCaml
  • Support test-only imports (use package #[test-only] Foo etc.) for white-box testing
  • Support test-only submodules (#[test-only] module Foo = … etc.)
  • Comparison operators <., >., <=., and >=. for floating-point numbers
    • Comparison involving NaN always evaluates to false; in this sense, a <=. b is not equivalent to not (a >. b)

gfngfn added 30 commits August 31, 2024 06:40
@gfngfn
make #[test]-defined values be of type unit -> unit, not unit
e06851a
@gfngfn
add Stdlib.List.show
1f94c20
@gfngfn
modify interface of Testing (the resulting one is similar to that o…
b02ef7d 
…f `alcotest`)
@gfngfn
make stdlib temporarily use the local testing
2af40e1
@gfngfn
add Stdlib.Ordering and test ListTest.compare-test
0d56739
@gfngfn
temporarily update saphe.lock.yaml.expected in stdlib
562ca89
@gfngfn
develop ListTest.compare-test
fdda8af
@gfngfn
update how saphe init library generate files
8fa100b
@gfngfn
add tests to stdlib's ListTest
7956a1c
@gfngfn
make use support attribute #[test_only]
b374d82
@gfngfn
replace #[test_only] with #[test-only]
af1039b
@gfngfn
add a white-box test for Stdlib.Map
6630976
@gfngfn
add additional white-box tests for Stdlib.Map
6bba388
@gfngfn
develop tests for Stdlib.Map
65cc621
@gfngfn
develop tests for Stdlib.Map(X).add
8426b26
@gfngfn
assert well-formedness of balanced trees for testing Stdlib.Map
82c88aa
@gfngfn
add module attribute #[test-only]
a8484a9
@gfngfn
fixup
cc96174
@gfngfn
add #[test-only] to the white-box tests of Stdlib.Map
4f25f44
@gfngfn
add List.{find,find-map}, Inline.{nil,concat}, and `Block.{nil,co…
db351fc 
…ncat}`
@gfngfn
update script check-packages.sh
7a0c190
@gfngfn
add >., <., >=., and <=, for the comparison of floats
f48ee3e
@gfngfn
change the definition of >=. and <=. about NaNs
789af63
@gfngfn
turn Stdlib.Arith into Stdlib.Float
54289aa
@gfngfn
decompose Geom into Vector and Point, and develop them further
8a6339a
@gfngfn
add Testing.Equality.pair
2e98f78
@gfngfn
remove unnecessary commands from math.satyh
b249fff
@gfngfn
revert temporary changes of stdlib's saphe.yaml for modifying `te…
4162ee0 
…sting`
@gfngfn
update default-registry-commit-hash.txt
5132104
@gfngfn
fix how to use test dependencies during type-checking
f0548df
@gfngfn gfngfn changed the title [WIP] Refine testing mechanism Refine testing mechanism Aug 31, 2024
@gfngfn gfngfn marked this pull request as ready for review August 31, 2024 20:22
@gfngfn gfngfn merged commit c4e5598 into dev-0-1-0-separate-saphe-from-satysfi Aug 31, 2024
8 checks passed
@gfngfn gfngfn deleted the dev-0-1-0-refine-testing-mechanism branch August 31, 2024 20:30
@gfngfn gfngfn mentioned this pull request Aug 31, 2024
Open
34 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
SATySFi Development
Status: Done
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@gfngfn