From: Michael Schroeder <mls@suse.de>
Date: Tue, 25 Aug 2015 12:00:32 +0000 (+0200)
Subject: [backend] support a -T option that writes a testcase
X-Git-Tag: 0.6.12~32
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=e0aaa8c929292143534dcc1ef077f3c87e088f80;p=thirdparty%2Flibsolv.git

[backend] support a -T option that writes a testcase

Useful for verification purposes.
---

diff --git a/tools/testsolv.c b/tools/testsolv.c
index 428688f4..5c493941 100644
--- a/tools/testsolv.c
+++ b/tools/testsolv.c
@@ -73,6 +73,7 @@ main(int argc, char **argv)
   int resultflags = 0;
   int debuglevel = 0;
   int writeresult = 0;
+  char *writetestcase = 0;
   int multijob = 0;
   int rescallback = 0;
   int c;
@@ -82,7 +83,7 @@ main(int argc, char **argv)
   const char *p;
 
   queue_init(&solq);
-  while ((c = getopt(argc, argv, "vmrhl:s:")) >= 0)
+  while ((c = getopt(argc, argv, "vmrhl:s:T:")) >= 0)
     {
       switch (c)
       {
@@ -107,6 +108,9 @@ main(int argc, char **argv)
 	  else
 	    queue_push2(&solq, 1, atoi(optarg));
           break;
+        case 'T':
+	  writetestcase = optarg;
+          break;
         default:
 	  usage(1);
           break;
@@ -231,6 +235,8 @@ main(int argc, char **argv)
 	  else
 	    {
 	      int pcnt = solver_solve(solv, &job);
+	      if (writetestcase)
+		testcase_write(solv, writetestcase, resultflags, 0, 0);
 	      if (pcnt && solq.count)
 		{
 		  int i, taken = 0;