diff options
| author | Alasdair | 2020-04-15 15:57:38 +0100 |
|---|---|---|
| committer | Alasdair | 2020-04-15 15:57:38 +0100 |
| commit | b727e02d59c130b6b6d1eb969a0e4fa8cc156e51 (patch) | |
| tree | dc7fce45ca7f0b90a628f0e15c1ce99d8554d360 /test/c/nested_fields.sail | |
| parent | 26510d7798daac30a400e8d04278a86ea8b83983 (diff) | |
Add more intuitive defaults to interactive toplevel
sail -i now starts an interactive toplevel with a few additional
options set by default:
- It applies the "interpreter" rewrites to any files passed on the command
line.
- It also applies those rewrites after the :l/:load command
- Registers previously started in a disabled state, as the interactive shell
made no default decision as to how to handle undefined (which is the initial
value for all registers). Now -i implies -undefined_gen
- Better help text for :fix_registers
- Nullary interactive actions generate Sail functions that round-trip through pretty
printing and parsing (bugfix)
The -interact_custom flag has the same behavior as the previous -i flag
This commit also improves the c/ocaml/interpreter test harness so it
cleans up temporary files which could cause issues with stale files
when switching ocaml versions
Diffstat (limited to 'test/c/nested_fields.sail')
0 files changed, 0 insertions, 0 deletions
