Tsonnet #2 – تست های CRAM به نجات

diff --git a/dune-project b/dune-project
index cf8c03f..383bbef 100644
--- a/dune-project
+++ b/dune-project
@@ -25,7 +25,15 @@
   (dune
    (>= 3.16.0))
   (menhir
-   (= 20240715)))
+   (= 20240715))
+  (alcotest
+   (and
+    :with-test
+    (>= 1.8.0)))
+  (bisect_ppx
+   (and
+    :with-test
+    (>= 2.8.3))))
  (tags
   (jsonnet interpreter compiler)))

diff --git a/.gitignore b/.gitignore
index 69fa449..39136cd 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
 _build/
+_coverage/
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..688c42d
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,15 @@
+default: test
+
+.PHONY: test
+test:
+       dune runtest
+
+.PHONY: coverage
+coverage:
+       dune runtest --instrument-with bisect_ppx --force
+       bisect-ppx-report html
+
+.PHONY: clean
+clean:
+       dune clean
+       rm -rf _coverage/

diff --git a/bin/dune b/bin/dune
index 300e220..b274fc4 100644
--- a/bin/dune
+++ b/bin/dune
@@ -2,3 +2,8 @@
  (public_name tsonnet)
  (name main)
  (libraries tsonnet))
+
+(cram
+ (deps
+  %{bin:tsonnet}
+  (source_tree ../samples)))
diff --git a/test/cram/dune b/test/cram/dune
new file mode 100644
index 0000000..4c224ef
--- /dev/null
+++ b/test/cram/dune
@@ -0,0 +1,4 @@
+(cram
+ (deps
+  %{bin:tsonnet}
+  (source_tree ../../samples)))
diff --git a/test/dune b/test/dune
index f8dbe1e..bd42c05 100644
--- a/test/dune
+++ b/test/dune
@@ -1,2 +1,5 @@
 (test
- (name test_tsonnet))
+ (name test_tsonnet)
+ (libraries tsonnet alcotest)
+ (deps
+  (source_tree ../samples)))

diff --git a/lib/dune b/lib/dune
index 9660313..3452131 100644
--- a/lib/dune
+++ b/lib/dune
@@ -1,5 +1,7 @@
 (library
- (name tsonnet))
+ (name tsonnet)
+ (instrumentation
+  (backend bisect_ppx)))

 (menhir
  (modules parser))
diff --git a/lib/lexer.mll b/lib/lexer.mll
index a581fcd..585673b 100644
--- a/lib/lexer.mll
+++ b/lib/lexer.mll
@@ -1,4 +1,5 @@
 {
+  [@@@coverage exclude_file]
   open Lexing
   open Parser
   exception SyntaxError of string
diff --git a/lib/parser.mly b/lib/parser.mly
index 6872459..2396dfe 100644
--- a/lib/parser.mly
+++ b/lib/parser.mly
@@ -1,3 +1,7 @@
+%{
+  [@@@coverage exclude_file]
+%}
+
 %token  INT
 %token  FLOAT
 %token NULL

diff --git a/bin/usage.t b/bin/usage.t
new file mode 100644
index 0000000..7d13b46
--- /dev/null
+++ b/bin/usage.t
@@ -0,0 +1,10 @@
+Using the Tsonnet program:
+
+  $ tsonnet ../samples/literals/int.jsonnet
+  42
+
+  $ tsonnet ../samples/literals/string.jsonnet
+  "Hello, world!"
+
+  $ tsonnet ../samples/literals/object.jsonnet
+  {"int_attr": 1, "float_attr": 4.200000, "string_attr": "Hello, world!", "null_attr": null, "array_attr": [1, false, {}], "obj_attr": {"a": true, "b": false, "c": {"d": [42]}}}

diff --git a/test/cram/literals.t b/test/cram/literals.t
new file mode 100644
index 0000000..c7b1c2a
--- /dev/null
+++ b/test/cram/literals.t
@@ -0,0 +1,36 @@
+  $ tsonnet ../../samples/literals/int.jsonnet
+  42
+
+  $ tsonnet ../../samples/literals/float.jsonnet
+  4.222222222222222
+
+  $ tsonnet ../../samples/literals/negative_int.jsonnet
+  -42
+
+  $ tsonnet ../../samples/literals/negative_float.jsonnet
+  -4.222222222222222
+
+  $ tsonnet ../../samples/literals/true.jsonnet
+  true
+
+  $ tsonnet ../../samples/literals/false.jsonnet
+  false
+
+  $ tsonnet ../../samples/literals/null.jsonnet
+  null
+
+  $ tsonnet ../../samples/literals/string.jsonnet
+  "Hello, world!"
+
+  $ tsonnet ../../samples/literals/array.jsonnet
+  [ 1, 2.0, "hi", null ]
+
+  $ tsonnet ../../samples/literals/object.jsonnet
+  {
+    "int_attr": 1,
+    "float_attr": 4.2,
+    "string_attr": "Hello, world!",
+    "null_attr": null,
+    "array_attr": [ 1, false, {} ],
+    "obj_attr": { "a": true, "b": false, "c": { "d": [ 42 ] } }
+  }

$ dune runtest

diff --git a/test/cram/literals.t b/test/cram/literals.t
index c7b1c2a..54d455f 100644
--- a/test/cram/literals.t
+++ b/test/cram/literals.t
@@ -1,8 +1,8 @@
   $ tsonnet ../../samples/literals/int.jsonnet
-  42
+  666

   $ tsonnet ../../samples/literals/float.jsonnet
-  4.222222222222222
+  4.23

   $ tsonnet ../../samples/literals/negative_int.jsonnet
   -42

$ dune runtest
File "test/cram/literals.t", line 1, characters 0-0:
diff --git a/_build/.sandbox/0a16dd95b0ff6ebafcf09f03744c5c4c/default/test/cram/literals.t b/_build/.sandbox/0a16dd95b0ff6ebafcf09f03744c5c4c/default/test/cram/literals.t.corrected
index 54d455f..c7b1c2a 100644
--- a/_build/.sandbox/0a16dd95b0ff6ebafcf09f03744c5c4c/default/test/cram/literals.t
+++ b/_build/.sandbox/0a16dd95b0ff6ebafcf09f03744c5c4c/default/test/cram/literals.t.corrected
@@ -1,8 +1,8 @@
   $ tsonnet ../../samples/literals/int.jsonnet
-  666
+  42

   $ tsonnet ../../samples/literals/float.jsonnet
-  4.23
+  4.222222222222222

   $ tsonnet ../../samples/literals/negative_int.jsonnet
   -42