Skip to content

Commit 1065f8e

Browse files
kroeningkroening
committed
split up ltl_sva_to_stringt::rec
To reduce the size of ltl_sva_to_stringt::rec, split it up into the two cases SVA_SEQUENCE, and BOOLEAN/PROPERTY.
1 parent bf112c1 commit 1065f8e

File tree

3 files changed

+92
-80
lines changed

3 files changed

+92
-80
lines changed

0 commit comments

Comments
 (0)