Remove delimiters in string outputting methods

BoiseState-AdaptLab / IEGenLib

Inspector/Executor Generation Library for manipulating sets and relations with uninterpreted function symbols.

BSD 2-Clause "Simplified" License

2 stars 4 forks source link

Open riftEmber opened 2 years ago

riftEmber commented 2 years ago

Strip dollar signs (via naive find and replace) from output string of codegen or graph gen

riftEmber commented 2 years ago

It looks like this was completed