Specify output directory for CN

Filename.get_temp_dir_name() is not guaranteed to be deterministic, let
alone the same across platforms, and so we pass it in for running in the
CI (on GitHub or locally).

Author: dc-mak

tests/cn/verify.json

@@ -1,6 +1,6 @@
 {
     "name": "verify",
-    "args": ["verify"],
+    "args": ["verify", "--output-dir=/tmp"],
     "filter": "^(.*\\.c)$",
     "timeout": 60
 }

tests/cn_vip_testsuite/no_annot.json

@@ -1,6 +1,6 @@
 {
     "name": "no_annot",
-    "args": ["verify", "-DVIP", "-DNO_ROUND_TRIP", "--solver-type=cvc5" ],
+    "args": ["verify", "-DVIP", "-DNO_ROUND_TRIP", "--solver-type=cvc5", "--output-dir=/tmp"],
     "filter": "^(.*\\.c)$",
     "timeout": 35
 }

tests/cn_vip_testsuite/non_det_false.json

@@ -1,6 +1,6 @@
 {
     "name": "non_det_false",
-    "args": ["verify", "-DVIP", "-DNO_ROUND_TRIP", "-DNON_DET_FALSE", "--solver-type=cvc5" ],
+    "args": ["verify", "-DVIP", "-DNO_ROUND_TRIP", "-DNON_DET_FALSE", "--solver-type=cvc5", "--output-dir=/tmp"],
     "filter": "^(.*\\.nondet.c)$",
     "timeout": 35
 }

tests/cn_vip_testsuite/non_det_true.json

@@ -1,6 +1,6 @@
 {
     "name": "non_det_true",
-    "args": ["verify", "-DVIP", "-DNO_ROUND_TRIP", "-DNON_DET_TRUE", "--solver-type=cvc5" ],
+    "args": ["verify", "-DVIP", "-DNO_ROUND_TRIP", "-DNON_DET_TRUE", "--solver-type=cvc5", "--output-dir=/tmp"],
     "filter": "^(.*\\.nondet\\.c)$",
     "timeout": 35
 }

tests/cn_vip_testsuite/with_annot.json

@@ -1,6 +1,6 @@
 {
     "name": "with_annot",
-    "args": ["verify", "-DVIP", "-DANNOT", "-DNO_ROUND_TRIP", "--solver-type=cvc5" ],
+    "args": ["verify", "-DVIP", "-DANNOT", "-DNO_ROUND_TRIP", "--solver-type=cvc5", "--output-dir=/tmp"],
     "filter": "^((pointer_from_int_disambiguation_3\\.error\\.c)|(.*\\.annot\\.c))$",
     "timeout": 35
 }