search

rems-project / sail

Sail architecture definition language
Other
622 stars 116 forks source link

SMT/SV: Add more simplifications for union types #693

Closed Alasdair closed 2 months ago

Alasdair commented 2 months ago

Add simplification for pure matches in Sail->SMT

Make counterexample checking stricter

github-actions[bot] commented 2 months ago

Test Results

    9 files  ±0     21 suites  ±0   0s :stopwatch: ±0s   677 tests ±0    677 :white_check_mark: ±0  0 :zzz: ±0  0 :x: ±0  2 134 runs  ±0  2 133 :white_check_mark: ±0  1 :zzz: ±0  0 :x: ±0 

Results for commit 63627b1a. ± Comparison against base commit ec32bd05.

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