[sledge] Test: Move test modules into test directory

Reviewed By: ngorogiannis

Differential Revision: D23459511

fbshipit-source-id: 29570a0ad
master
Josh Berdine 4 years ago committed by Facebook GitHub Bot
parent 02ddb5a59f
commit 8ca41a9639

@ -69,6 +69,17 @@
(pps ppx_sledge ppx_trace)) (pps ppx_sledge ppx_trace))
(inline_tests))) (inline_tests)))
(subdir
src/test
(library
(name test)
(libraries sledge)
(flags
(:standard -open NS))
(preprocess
(pps ppx_sledge ppx_trace))
(inline_tests)))
(subdir (subdir
model model
(rule (rule

@ -5,6 +5,8 @@
* LICENSE file in the root directory of this source tree. * LICENSE file in the root directory of this source tree.
*) *)
open Ses
let%test_module _ = let%test_module _ =
( module struct ( module struct
open Equality open Equality

@ -5,6 +5,8 @@
* LICENSE file in the root directory of this source tree. * LICENSE file in the root directory of this source tree.
*) *)
open Sledge
let%test_module _ = let%test_module _ =
( module struct ( module struct
open Fol open Fol
@ -123,6 +125,7 @@ let%test_module _ =
pp_raw r1 ; pp_raw r1 ;
[%expect [%expect
{| {|
%x_5 = %y_6 %x_5 = %y_6
{sat= true; rep= [[%x_5 ]; [%y_6 %x_5]; [-1 ]; [0 ]]} |}] {sat= true; rep= [[%x_5 ]; [%y_6 %x_5]; [-1 ]; [0 ]]} |}]

@ -5,6 +5,7 @@
* LICENSE file in the root directory of this source tree. * LICENSE file in the root directory of this source tree.
*) *)
open Sledge
open Fol open Fol
let%test_module _ = let%test_module _ =

@ -5,6 +5,7 @@
* LICENSE file in the root directory of this source tree. * LICENSE file in the root directory of this source tree.
*) *)
open Sledge
open Fol open Fol
let%test_module _ = let%test_module _ =

@ -5,6 +5,8 @@
* LICENSE file in the root directory of this source tree. * LICENSE file in the root directory of this source tree.
*) *)
open Ses
(* [@@@warning "-32"] *) (* [@@@warning "-32"] *)
let%test_module _ = let%test_module _ =
Loading…
Cancel
Save