diff options
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/CHAPTER_CellLib.tex | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/manual/CHAPTER_CellLib.tex b/manual/CHAPTER_CellLib.tex index e64919182..96a309552 100644 --- a/manual/CHAPTER_CellLib.tex +++ b/manual/CHAPTER_CellLib.tex @@ -466,6 +466,10 @@ Add information about {\tt \$assert}, {\tt \$assume}, {\tt \$live}, {\tt \$fair} \end{fixme} \begin{fixme} +Add information about {\tt \$specify2} and {\tt \$specify3} cells. +\end{fixme} + +\begin{fixme} Add information about {\tt \$slice} and {\tt \$concat} cells. \end{fixme} |