tests: update nitg.res

Signed-off-by: Jean Privat <jean@pryen.org>

diff --git a/tests/sav/nitg.res b/tests/sav/nitg.res
index bcfe38c..55c09f5 100644 (file)
--- a/tests/sav/nitg.res
+++ b/tests/sav/nitg.res
@@ -13,6 +13,7 @@
   -o, --output                Output file
   --no-cc                     Do not invoke C compiler
   --make-flags                Additional options to make
+  --compile-dir               Directory used to generate temporary files
   --hardening                 Generate contracts in the C code against bugs in the compiler
   --no-shortcut-range         Always insantiate a range and its iterator on 'for' loops
   --no-check-covariance       Disable type tests of covariant parameters (dangerous)