Open facundominguez opened 2 years ago
liquid-fixpoint produces .smt2 files with the commands that have been fed to the SMT solver. It would be helpful for debugging if rest could do the same.
liquid-fixpoint
rest
liquid-fixpointproduces .smt2 files with the commands that have been fed to the SMT solver. It would be helpful for debugging ifrestcould do the same.