Float: Refactor the test data to avoid duplication

rems-project / sail

Sail architecture definition language

Other

563 stars 92 forks source link

Float: Refactor the test data to avoid duplication #599

Closed Incarnation-p-lee closed 1 day ago

Incarnation-p-lee commented 5 days ago

Add new file to hold all test data.
Leverage the test data instead of hard code for testing.

github-actions[bot] commented 5 days ago

Test Results

9 files ±0 20 suites ±0 0s :stopwatch: ±0s 652 tests ±0 652 :white_check_mark: ±0 0 :zzz: ±0 0 :x: ±0 2 084 runs ±0 2 083 :white_check_mark: ±0 1 :zzz: ±0 0 :x: ±0

Results for commit f4cf5616. ± Comparison against base commit d00c0250.

Incarnation-p-lee commented 1 day ago

Hi @Alasdair Is there any suggestion about how to compare the bits('n) as unsigned int in sail? I suppose that we will have something like overload < in vector.sail or something else like bits('n) to int.

Please feel free to correct me if any misunderstanding. Or I can help to cover that pat if doesn't exit for now.