rems-project / sail

Sail architecture definition language
Other
563 stars 92 forks source link

Add a reset command to the interactive REPL #590

Closed Alasdair closed 1 week ago

Alasdair commented 1 week ago

This resets the interpreter state back to the initial state

github-actions[bot] commented 1 week ago

Test Results

    9 files  ±0     20 suites  ±0   0s :stopwatch: ±0s   648 tests ±0    648 :white_check_mark: ±0  0 :zzz: ±0  0 :x: ±0  2 075 runs  ±0  2 074 :white_check_mark: ±0  1 :zzz: ±0  0 :x: ±0 

Results for commit 391ac73d. ± Comparison against base commit e1e79f46.

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