[dlvhex-notify] SF.net SVN: dlvhex:[3566] dlvhex/trunk/testsuite

[<mm...@us...>]

Revision: 3566
          http://dlvhex.svn.sourceforge.net/dlvhex/?rev=3566&view=rev
Author:   mmsc
Date:     2012-02-24 10:24:42 +0000 (Fri, 24 Feb 2012)
Log Message:
-----------
A problematic testcase for partially models reading from DLV

Modified Paths:
--------------
    dlvhex/trunk/testsuite/Makefile.am

Added Paths:
-----------
    dlvhex/trunk/testsuite/TestDLVProcess.cpp

Modified: dlvhex/trunk/testsuite/Makefile.am
===================================================================
--- dlvhex/trunk/testsuite/Makefile.am	2012-02-23 21:05:40 UTC (rev 3565)
+++ dlvhex/trunk/testsuite/Makefile.am	2012-02-24 10:24:42 UTC (rev 3566)
@@ -40,12 +40,14 @@
   TestModelGraph \
   TestEvalGraph \
   TestOnlineModelBuilder \
-  TestOfflineModelBuilder 
+  TestOfflineModelBuilder \
+  TestDLVProcess
 
 check_PROGRAMS =  \
   $(AUTOMATED_TEST_PROGS) \
   TestTestPluginStatic \
-  TestPlainHEX
+  TestPlainHEX \
+  TestDLVProcess
 
 TESTS = \
   run-dlvhex-tests.sh \
@@ -173,3 +175,7 @@
 	fixtureEx1.cpp \
 	$(top_srcdir)/src/Logger.cpp \
 	$(top_srcdir)/src/CAUAlgorithms.cpp
+
+TestDLVProcess_SOURCES = \
+	TestDLVProcess.cpp
+TestDLVProcess_LDADD = $(LDADD_ASPSOLVER)
\ No newline at end of file

Added: dlvhex/trunk/testsuite/TestDLVProcess.cpp
===================================================================
--- dlvhex/trunk/testsuite/TestDLVProcess.cpp	                        (rev 0)
+++ dlvhex/trunk/testsuite/TestDLVProcess.cpp	2012-02-24 10:24:42 UTC (rev 3566)
@@ -0,0 +1,95 @@
+#ifdef HAVE_CONFIG_H
+#include "config.h"
+#endif // HAVE_CONFIG_H
+
+#include "dlvhex2/DLVProcess.h"
+
+#define BOOST_TEST_DYN_LINK
+#define BOOST_TEST_MODULE "testDLVProcess"
+#include <boost/test/unit_test.hpp>
+#include <boost/thread.hpp>
+
+
+DLVHEX_NAMESPACE_USE
+
+class SimpleEvaluator
+{
+public:
+  SimpleEvaluator(const std::string& in)
+    : input(in)
+  { }
+
+  void
+  solve()
+  {
+    proc = new DLVProcess;
+    proc->setPath(DLVPATH);
+    proc->addOption("-silent");
+    proc->addOption("-facts");
+    proc->addOption("--");
+    proc->spawn();
+
+    std::ostream& programStream = proc->getOutput();
+    programStream << input;
+    programStream.flush();
+    proc->endoffile();
+
+    std::cerr << "input = " << std::endl << input << std::endl;
+
+    std::istream& is = proc->getInput();
+
+    std::cerr << "Getting results: " << std::endl;
+    std::size_t count = 0;
+
+    std::cerr << "Ans " << ++count;
+    std::string res;
+    std::getline(is, res);
+    std::cerr << ":  ";
+    if (res.empty())
+      {
+	std::cerr << "Break now! res.empty()" << std::endl;
+	//break;
+      }
+    else if (is.bad())
+      {
+	std::cerr << "Break now! is.bad()" << std::endl;
+	//break;
+      }
+    std::cerr << res << std::endl;
+    
+    std::cerr << std::endl;
+    delete proc;
+    proc = 0;
+  }
+
+private:
+  DLVProcess* proc;
+  std::string input;
+};
+
+BOOST_AUTO_TEST_CASE ( testDLVProcess )
+{
+  std::string line1 = "a v b :- c.\n";
+  std::string line2 = "c v d :- e.\n";
+  std::string line3 = "e v f :- g.\n";
+  std::string line4 = "g v h :- i.\n";
+  std::string line5 = "i v j.\n";
+
+  std::string program = "";
+  program = program + line1 + line2 + line3 + line4 + line5;
+
+  SimpleEvaluator se(program);
+
+  se.solve();
+  se.solve();
+  se.solve();
+  se.solve();
+  se.solve();
+  se.solve();
+  se.solve();
+  se.solve();
+}
+
+// Local Variables:
+// mode: C++
+// End:

This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.