isla-lib: optionally print source code locations

rems-project / isla

Symbolic execution tool for Sail ISA specifications

Other

61 stars 10 forks source link

Closed mmcloughlin closed 8 months ago

mmcloughlin commented 8 months ago

Updates trace printing to:

Show SAIL source locations like src/isla_main.sail 62:16 - 62:25 rather than the Rust debug format
Append source location after all SMT definitions
Control location printing by a flag in WriteOpts