Skip to content

Commit bb9d1c9

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 three cases BOOLEAN, SVA_SEQUENCE, and PROPERTY.
1 parent bf112c1 commit bb9d1c9

File tree

2 files changed

+123
-99
lines changed

2 files changed

+123
-99
lines changed

0 commit comments

Comments
 (0)