Fixed handling of wide character strings (L"test").

[splint.git] / test / simplebufferConstraintTests / sizeof.c

diff --git a/test/simplebufferConstraintTests/sizeof.c b/test/simplebufferConstraintTests/sizeof.c
index 52a77d8e4810f33f88e16407b749d6e008409c13..635601c39cefc23017e702fa52211eed4d920817 100644 (file)
--- a/test/simplebufferConstraintTests/sizeof.c
+++ b/test/simplebufferConstraintTests/sizeof.c
@@ -2,10 +2,10 @@
 extern void /*@alt char * @*/
   mystrncpy (/*@unique@*/ /*@out@*/ /*@returned@*/ char *s1, char *s2,
 size_t n) 
-  /*@modifies *s1@*/      /*@requires MaxSet(s1) >= ( n - 1
-) /\ MaxRead (s2) >= ( n - 1 ); @*/ /*@ensures MaxRead (s1) ==
+  /*@modifies *s1@*/      /*@requires MaxSet(s1) >= ( n - 1) /\ MaxRead (s2) >= ( n - 1 ); @*/ /*@ensures MaxRead (s1) ==
 MaxRead (s2) /\ MaxRead (s1) <= n; @*/; 
 
+
  void f(char *z) /*@requires MaxRead(z) >= 2; @*/
 {
 char x[3];