How to Symbolic Excution #1401
Description
Recently, I have some ideas inspired by this repo.So, I want to do some Symbolic Excution in sail model. But I am hard to find a guide to type the commands to run sail with smt/Symbolic features.
Sail says, it have many backends about formal tools. While sail-riscv says some backends we do not support.ok, anyway, I want to be told 1)how to run sail with smt/Symbolic features 2)which tool could be used to realize my idea.