35 lines
1.1 KiB
C++
35 lines
1.1 KiB
C++
#include <catch.hpp>
|
|
|
|
#include <experimental/filesystem>
|
|
|
|
#include <pddlparse/AST.h>
|
|
#include <pddlparse/Parse.h>
|
|
|
|
namespace fs = std::experimental::filesystem;
|
|
|
|
const pddl::Context::WarningCallback ignoreWarnings = [](const auto &, const auto &warning){std::cout << warning << std::endl;};
|
|
|
|
////////////////////////////////////////////////////////////////////////////////////////////////////
|
|
|
|
TEST_CASE("[PDDL parser issues] Check past issues", "[PDDL parser issues]")
|
|
{
|
|
pddl::Tokenizer tokenizer;
|
|
pddl::Context context(std::move(tokenizer), ignoreWarnings);
|
|
|
|
// Check that no infinite loop occurs
|
|
SECTION("“either” in typing section")
|
|
{
|
|
const auto domainFile = fs::path("data") / "issues" / "issue-7.pddl";
|
|
context.tokenizer.read(domainFile);
|
|
CHECK_THROWS(pddl::parseDescription(context));
|
|
}
|
|
|
|
// Check that whitespace is correctly ignored in type section
|
|
SECTION("whitespace in typing section")
|
|
{
|
|
const auto domainFile = fs::path("data") / "issues" / "issue-8.pddl";
|
|
context.tokenizer.read(domainFile);
|
|
CHECK_NOTHROW(pddl::parseDescription(context));
|
|
}
|
|
}
|