luke
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

More formatting undos'

This commit is contained in:
Gus Smith 2025-11-29 14:59:04 -08:00
parent 9909049d2a
commit ded7c9cb03
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
backends/functional/smtlib_rosette.cc
View File

@ -322,8 +322,7 @@ struct SmtrModule {
struct FunctionalSmtrBackend : public Backend { struct FunctionalSmtrBackend : public Backend {
FunctionalSmtrBackend() : Backend("functional_rosette", "Generate Rosette compatible Racket from Functional IR") {} FunctionalSmtrBackend() : Backend("functional_rosette", "Generate Rosette compatible Racket from Functional IR") {}
void help() override void help() override {
{
// |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---| // |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|
log("\n"); log("\n");
log(" write_functional_rosette [options] [filename]\n"); log(" write_functional_rosette [options] [filename]\n");