You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
24 lines
1.3 KiB
24 lines
1.3 KiB
#define DOCTEST_CONFIG_IMPLEMENT_WITH_MAIN
|
|
#include "doctest.h"
|
|
|
|
#include "carl-parser/Parser.h"
|
|
|
|
using namespace carlparser;
|
|
|
|
TEST_CASE("testing the parse") {
|
|
auto res = carlparser::deserialize<carl::MultivariatePolynomial<mpq_class>>("(/ 12 12)");
|
|
DOCTEST_CHECK_EQ(check_type(res), carlparser::ParserReturnType::Rational);
|
|
res = carlparser::deserialize<carl::MultivariatePolynomial<mpq_class>>("x");
|
|
DOCTEST_CHECK_EQ(check_type(res), carlparser::ParserReturnType::Variable);
|
|
res = carlparser::deserialize<carl::MultivariatePolynomial<mpq_class>>("-1");
|
|
DOCTEST_CHECK_EQ(check_type(res), carlparser::ParserReturnType::Rational);
|
|
res = carlparser::deserialize<carl::MultivariatePolynomial<mpq_class>>("(+ x 1)");
|
|
DOCTEST_CHECK_EQ(check_type(res), carlparser::ParserReturnType::Polynomial);
|
|
res = carlparser::deserialize<carl::MultivariatePolynomial<mpq_class>>("(< x 1)");
|
|
DOCTEST_CHECK_EQ(check_type(res), carlparser::ParserReturnType::Constraint);
|
|
res = carlparser::deserialize<carl::MultivariatePolynomial<mpq_class>>("(<= (* (- 1) pL) 0)");
|
|
DOCTEST_CHECK_EQ(check_type(res), carlparser::ParserReturnType::Constraint);
|
|
res = carlparser::deserialize<carl::MultivariatePolynomial<mpq_class>>("(!= pK 0)");
|
|
DOCTEST_CHECK_EQ(check_type(res), carlparser::ParserReturnType::Constraint);
|
|
|
|
}
|