about summary refs log tree commit diff
path: root/tvix/eval/src/tests/mod.rs
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2022-08-10T16·31+0300
committertazjin <tazjin@tvl.su>2022-08-24T23·11+0000
commit96e9f750c59153f8d6353e3831ffd55ea810d08a (patch)
tree5ab8ad97e9c94122a6f038c4082454807db51070 /tvix/eval/src/tests/mod.rs
parent3671056640dc2dfe339bbb044c7bccca2ada9901 (diff)
test(tvix/eval): add identity tests for literal evaluation r/4467
Change-Id: Id3f37fbe341e15e9428ef1d579d61a514232c0e8
Reviewed-on: https://cl.tvl.fyi/c/depot/+/6132
Tested-by: BuildkiteCI
Reviewed-by: grfn <grfn@gws.fyi>
Diffstat (limited to 'tvix/eval/src/tests/mod.rs')
-rw-r--r--tvix/eval/src/tests/mod.rs22
1 files changed, 20 insertions, 2 deletions
diff --git a/tvix/eval/src/tests/mod.rs b/tvix/eval/src/tests/mod.rs
index 75b3d9bb7c68..c51acfab976f 100644
--- a/tvix/eval/src/tests/mod.rs
+++ b/tvix/eval/src/tests/mod.rs
@@ -2,14 +2,32 @@ use crate::eval::interpret;
 
 use test_generator::test_resources;
 
+// identity-* tests contain Nix code snippets which should evaluate to
+// themselves exactly (i.e. literals).
+#[test_resources("src/tests/tvix_tests/identity-*.nix")]
+fn identity(code_path: &str) {
+    let code = std::fs::read_to_string(code_path).expect("should be able to read test code");
+
+    let result = interpret(&code).expect("evaluation of identity test should succeed");
+    let result_str = format!("{}", result);
+
+    assert_eq!(
+        code.trim(),
+        result_str,
+        "result value representation (right) must match expectation (left)"
+    )
+}
+
 // eval-okay-* tests contain a snippet of Nix code, and an expectation
 // of the produced string output of the evaluator.
 //
 // These evaluations are always supposed to succeed, i.e. all snippets
 // are guaranteed to be valid Nix code.
+
+// eval-okay-* tests from the original Nix test suite.
 #[cfg(feature = "nix_tests")]
 #[test_resources("src/tests/nix_tests/eval-okay-*.nix")]
-fn eval_okay(code_path: &str) {
+fn nix_eval_okay(code_path: &str) {
     let base = code_path
         .strip_suffix("nix")
         .expect("test files always end in .nix");
@@ -24,6 +42,6 @@ fn eval_okay(code_path: &str) {
     assert_eq!(
         exp.trim(),
         result_str,
-        "result value (and its representation) must match expectation"
+        "result value representation (right) must match expectation (left)"
     );
 }