tests: update nituml tests

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

diff --git a/tests/sav/nituml_args3.res b/tests/sav/nituml_args3.res
index a43ae0d..5662865 100644 (file)
--- a/tests/sav/nituml_args3.res
+++ b/tests/sav/nituml_args3.res
@@ -16,7 +16,7 @@ Object [
 ]
 
 Sys [
- label = "{Sys||+ main()\l+ run()\l+ errno(): Int\l+ exit(exit_value: Int)\l}"
+ label = "{Sys||+ main()\l+ run()\l+ errno(): Int\l+ exit(exit_value: Int)\l+ is_windows(): Bool\l}"
 ]
 Object -> Sys [dir=back arrowtail=open style=dashed];
 

diff --git a/tests/sav/nituml_args4.res b/tests/sav/nituml_args4.res
index 4bd5666..e6a1e8c 100644 (file)
--- a/tests/sav/nituml_args4.res
+++ b/tests/sav/nituml_args4.res
@@ -16,7 +16,7 @@ Object [
 ]
 
 Sys [
- label = "{Sys||+ main()\l+ run()\l+ errno(): Int\l+ exit(exit_value: Int)\l}"
+ label = "{Sys||+ main()\l+ run()\l+ errno(): Int\l+ exit(exit_value: Int)\l+ is_windows(): Bool\l}"
 ]
 Object -> Sys [dir=back arrowtail=open style=dashed];