Coq: correct corner case with implicit args in recursive calls

rems-project / sail

Sail architecture definition language

Other

563 stars 92 forks source link

Coq: correct corner case with implicit args in recursive calls #579

Closed bacam closed 2 weeks ago

github-actions[bot] commented 2 weeks ago

Test Results

9 files ±0 20 suites ±0 0s :stopwatch: ±0s 643 tests ±0 643 :white_check_mark: ±0 0 :zzz: ±0 0 :x: ±0 2 057 runs ±0 2 056 :white_check_mark: ±0 1 :zzz: ±0 0 :x: ±0

Results for commit 503aed0b. ± Comparison against base commit 3d66dddc.