luau/tests/EqSat.propositional.test.cpp
Alexander McCord ab0d7c0387 Add Luau.EqSat project with some barebones.
I have to comment out the `add_subdirectory(fuzz)` in order to allow cmake to finish the configuring step on Windows.
2024-05-18 01:07:45 -07:00

8 lines
240 B
C++

// This file is part of the Luau programming language and is licensed under MIT License; see LICENSE.txt for details
#include <doctest.h>
// Var, Bool, And, Or, Not, Implies
TEST_SUITE_BEGIN("EqSatPropositionalLogic");
TEST_SUITE_END();