Tweaks to tests #791

nwf · 2024-11-21T20:30:14Z

Modernize the test runner (test/sailtest.py) to use sail --dir instead of opam.
A bit of a crude search-and-replace for [^[:digit:]]2^0x. in the builtins tests, since this seems to get lexed as TwoCaret and not as (Num 2) Caret.

Rather than requiring that opam know about our install.

Use "02^0x[0123]" when we mean a bit vector of length 2.

Alasdair · 2024-11-25T14:29:38Z

I think we should remove that overload for ^, I kind of forgot it existed.

github-actions · 2024-11-25T14:54:37Z

Test Results

12 files ±0 24 suites ±0 0s ⏱️ ±0s
723 tests ±0 723 ✅ ±0 0 💤 ±0 0 ❌ ±0
2 433 runs ±0 2 432 ✅ ±0 1 💤 ±0 0 ❌ ±0

Results for commit b0bbdee. ± Comparison against base commit ac83f8c.

nwf · 2024-11-25T22:45:14Z

I'd be happy with that, too, I suppose!

nwf added 2 commits November 21, 2024 18:00

test/sailtest: use sail --dir

2d572d4

Rather than requiring that opam know about our install.

tests: don't get confused by "2^" forms

b0bbdee

Use "02^0x[0123]" when we mean a bit vector of length 2.