#include <fuc2/testing.hpp>
#include "dbc.hpp"

using namespace dbc;

namespace dbc_tests {
  void test_basic_dbc_features() {
    log("Logging a message.");

    pre("confirm positive cases work", 1 == 1);

    pre("confirm positive lambda", [&]{ return 1 == 1;});

    post("confirm positive post", 1 == 1);

    post("confirm postitive post with lamdba", [&]{ return 1 == 1;});

    check(1 == 1, "one equals 1");
  }

  fuc2::Set TESTS{
    .name="dbc",
      .tests={
        TEST(test_basic_dbc_features),
      }
  };

}