Ns/test/pr close

Cargo.toml

@@ -12,7 +12,8 @@ edition = "2021"
 tfhe_0_6 = { version = "0.6", features = ["boolean", "integer", "shortint", "x86_64-unix", "experimental-force_fft_algo_dif4"], package = "tfhe", optional = true }
 tfhe_0_7 = { version = "0.7", features = ["boolean", "integer", "shortint", "x86_64-unix", "experimental-force_fft_algo_dif4"], package = "tfhe", optional = true }
 
-tfhe-versionable = { version = "0.1", optional = true }
+tfhe-versionable_0_1 = { version = "0.1", optional = true, package = "tfhe-versionable" }
+tfhe-versionable_0_2 = { version = "0.2", optional = true, package = "tfhe-versionable" }
 
 # other deps
 serde = { version = "1.0", features = ["derive"] }
@@ -29,5 +30,5 @@ required-features = ["generate"]
 [features]
 default = ["generate"]
 
-generate = ["dep:tfhe_0_6", "dep:tfhe_0_7", "dep:tfhe-versionable"]
+generate = ["dep:tfhe_0_6", "dep:tfhe_0_7", "dep:tfhe-versionable_0_1", "dep:tfhe-versionable_0_2"]
 load = ["dep:semver"]

README.md

@@ -1,4 +1,5 @@
 # tfhe-rs backwards compatibility test corpus
+TEST
 This repo contains various messages from [TFHE-rs](https://github.com/zama-ai/tfhe-rs) that have been versioned and serialized.
 The goal is to detect in TFHE-rs CI when the version of a type should be updated because a breaking change has been added.
 
@@ -26,7 +27,7 @@ Any commits to `main` should be backported to the latest version branch.
 To re-generate the data, run the binary target for this project: `cargo run --release`. The prng is seeded with a fixed seed, so the data should be identical.
 
 # Adding a test for an existing type
-To add a new test for a type that is already tested, you need to create a const global variable with the metadata for that test. The type of metadata depends on the type being tested (for example, the metadata for a test of the `ClientKey' from the `high_level_api' is `HlClientKEy'). Then go to the `data_vvv.rs` file (where "vvv" is the TFHE-rs version of the tested data) and update the `gen_xxx_data` method (where "xxx" is the API layer of your test (hl, shortint, integer,...)). In this method, create the object you want to test and serialize it using the `store_versioned_test` method. Add the metadata of your test to the vector returned by this method.
+To add a new test for a type that is already tested, you need to create a const global variable with the metadata for that test. The type of metadata depends on the type being tested (for example, the metadata for a test of the `ClientKey' from the `high_level_api' is `HlClientKEy'). Then go to the `data_vvv.rs` file (where "vvv" is the TFHE-rs version of the tested data) and update the `gen_xxx_data` method (where "xxx" is the API layer of your test (hl, shortint, integer,...)). In this method, create the object you want to test and serialize it using the `store_versioned_test` macro. Add the metadata of your test to the vector returned by this method.
 
 The test will be automatically selected when you run TFHE-rs `make test_backward_compatibility`.
 
@@ -55,7 +56,7 @@ impl TfhersVersion for V0_6 {
             let ct1 = fheint8::encrypt(HL_CT1_TEST.clear_value, &hl_client_key);
 
             // 3. Store it
-            store_versioned_test(&ct1, &dir, &HL_CT1_TEST.test_filename);
+            store_versioned_test!(&ct1, &dir, &HL_CT1_TEST.test_filename);
 
             // 4. Return the metadata
             vec![

data/high_level_api.ron

@@ -326,4 +326,25 @@
             ],
         )),
     ),
+    (
+        tfhe_version_min: "0.7",
+        tfhe_module: "high_level_api",
+        metadata: HlHeterogeneousCiphertextList((
+            test_filename: "hl_compressed_heterogeneous_list",
+            key_filename: "client_key.cbor",
+            compressed: true,
+            clear_values: [
+                17,
+                18446744073709551604,
+                0,
+                1,
+            ],
+            data_kinds: [
+                Unsigned,
+                Signed,
+                Bool,
+                Bool,
+            ],
+        )),
+    ),
 ]