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

Author: vmihalko

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

@@ -0,0 +1,12 @@
+#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