rems-project / sail

Sail architecture definition language
Other
590 stars 103 forks source link

Fix Sail->SMT generation for struct values #675

Closed Alasdair closed 1 month ago

github-actions[bot] commented 1 month ago

Test Results

    9 files  ±0     21 suites  ±0   0s :stopwatch: ±0s   673 tests +1    673 :white_check_mark: +1  0 :zzz: ±0  0 :x: ±0  2 126 runs  +2  2 125 :white_check_mark: +2  1 :zzz: ±0  0 :x: ±0 

Results for commit e1422545. ± Comparison against base commit 28a6a392.

:recycle: This comment has been updated with latest results.