rems-project / sail

Sail architecture definition language
Other
563 stars 92 forks source link

Refactor Initial_check to remove some state #597

Closed Alasdair closed 1 week ago

Alasdair commented 1 week ago

Previously we would had a variable incremental_ctx that we would be update for each parsed file. This is one of the last pieces of global state in the Sail frontend that needed to be removed.

github-actions[bot] commented 1 week ago

Test Results

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

Results for commit ba825439. ± Comparison against base commit 93328989.

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