12 lines
184 B
Plaintext
12 lines
184 B
Plaintext
/*.sel
|
|
/write_gzip.v
|
|
/write_gzip.v.gz
|
|
/plugin.so
|
|
/plugin_search
|
|
/plugin.so.dSYM
|
|
/ezcmdline_plugin.so
|
|
/ezcmdline_plugin.so.dSYM
|
|
/temp
|
|
/smtlib2_module.smt2
|
|
/smtlib2_module-filtered.smt2
|