File: TestBaseEnv.ml

package info (click to toggle)
oasis 0.4.11-5
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 4,752 kB
  • sloc: ml: 38,989; sh: 192; makefile: 122; ansic: 67
file content (40 lines) | stat: -rw-r--r-- 2,101 bytes parent folder | download | duplicates (4)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
(******************************************************************************)
(* OASIS: architecture for building OCaml libraries and applications          *)
(*                                                                            *)
(* Copyright (C) 2011-2016, Sylvain Le Gall                                   *)
(* Copyright (C) 2008-2011, OCamlCore SARL                                    *)
(*                                                                            *)
(* This library is free software; you can redistribute it and/or modify it    *)
(* under the terms of the GNU Lesser General Public License as published by   *)
(* the Free Software Foundation; either version 2.1 of the License, or (at    *)
(* your option) any later version, with the OCaml static compilation          *)
(* exception.                                                                 *)
(*                                                                            *)
(* This library is distributed in the hope that it will be useful, but        *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY *)
(* or FITNESS FOR A PARTICULAR PURPOSE. See the file COPYING for more         *)
(* details.                                                                   *)
(*                                                                            *)
(* You should have received a copy of the GNU Lesser General Public License   *)
(* along with this library; if not, write to the Free Software Foundation,    *)
(* Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301 USA              *)
(******************************************************************************)

(** Tests for BaseEnv.
    @author Sylvain Le Gall
*)

open OUnit2
open OASISContext

let tests =
  "BaseEnv" >:::
  [
    "default_filename synced" >::
    (fun test_ctxt ->
       let ctxt = TestCommon.oasis_ctxt test_ctxt in
       assert_equal
         ~printer:(Printf.sprintf "%S")
         (ctxt.srcfs#string_of_filename BaseEnv.default_filename)
         BaseEnvLight.default_filename);
  ]