goto-instrument/argc-argv2: add test case for new --add-cmd-line-arg

option

Author: vmihalko

regression/goto-instrument/argc-argv2/main.c

@@ -0,0 +1,10 @@
+#include <assert.h>
+
+int main(int argc, char* argv[])
+{
+  if(argc>=2)
+    assert(argv[0][0]=='A');
+    assert(argv[1][0]=='B');
+
+  return 0;
+}

regression/goto-instrument/argc-argv2/test.desc

@@ -0,0 +1,8 @@
+CORE
+main.c
+--add-cmd-line-arg A --add-cmd-line-arg B
+^EXIT=0$
+^SIGNAL=0$
+^VERIFICATION SUCCESSFUL$
+--
+^warning: ignoring

regression/goto-instrument/argc-argv2/test2.desc

@@ -0,0 +1,8 @@
+CORE
+main.c
+--model-argc-argv 2
+^EXIT=10$
+^SIGNAL=0$
+^VERIFICATION FAILED$
+--
+^warning: ignoring