File tree Expand file tree Collapse file tree 1 file changed +7
-7
lines changed Expand file tree Collapse file tree 1 file changed +7
-7
lines changed Original file line number Diff line number Diff line change @@ -15368,10 +15368,10 @@
15368
15368
\pnum
15369
15369
\ensures
15370
15370
\begin{itemize}
15371
- \item \tcode{code() == ec},
15372
- \item \tcode{path1().empty() == true},
15373
- \item \tcode{path2().empty() == true}, and
15374
- \item \tcode{string_view(what()).find(what_arg.c_str())} \tcode{!= string_view::npos}.
15371
+ \item \tcode{code() == ec} is \tcode{true} ,
15372
+ \item \tcode{path1().empty()} is \tcode{ true},
15373
+ \item \tcode{path2().empty()} is \tcode{ true}, and
15374
+ \item \tcode{string_view(what()).find(what_arg.c_str())} \tcode{!= string_view::npos} is \tcode{true} .
15375
15375
\end{itemize}
15376
15376
\end{itemdescr}
15377
15377
@@ -15384,10 +15384,10 @@
15384
15384
\pnum
15385
15385
\ensures
15386
15386
\begin{itemize}
15387
- \item \tcode{code() == ec},
15387
+ \item \tcode{code() == ec} is \tcode{true} ,
15388
15388
\item \tcode{path1()} returns a reference to the stored copy of \tcode{p1},
15389
- \item \tcode{path2().empty() == true}, and
15390
- \item \tcode{string_view(what()).find(what_arg.c_str())} \tcode{!= string_view::npos}.
15389
+ \item \tcode{path2().empty()} is \tcode{ true}, and
15390
+ \item \tcode{string_view(what()).find(what_arg.c_str())} \tcode{!= string_view::npos} is \tcode{true} .
15391
15391
\end{itemize}
15392
15392
\end{itemdescr}
15393
15393
You can’t perform that action at this time.
0 commit comments