Revert deleted files

casper-finality-proofs/Cargo.toml

@@ -5,6 +5,10 @@ edition = "2021"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
+[[bin]]
+name = "weigh_justification_and_finalization"
+path = "bin/weigh_justification_and_finalization.rs"
+
 [[bin]]
 name = "test_engine"
 path = "src/test_engine/bin/main.rs"

casper-finality-proofs/bin/weigh_justification_and_finalization.rs

@@ -0,0 +1,3 @@
+fn main() {
+    println!("Hello, world!");
+}

casper-finality-proofs/src/test_engine/TestEngine.md

@@ -41,6 +41,8 @@ The test engine is a tool for running unit tests for plonky2 circuits.
     }
     ```
 
+    To add a test which is expected to fail on a circuit level, name the JSON file with a trailing `_fail.json`. The test engine will expect the circuit to fail and will mark the test as successful if it does.
+
 - ### Wrappers
     To test a circuit, create a wrapper in `src/test_engine/wrappers/`. It represents a function that writes input data to the circuit and asserts its outputs. It uses `TestData` data to assert that the circuit is working correctly.
 

casper-finality-proofs/src/test_engine/utils/parse_file.rs

@@ -2,7 +2,6 @@ use serde::Deserialize;
 use std::fs::File;
 use std::io::Read;
 
-#[allow(dead_code)] // We allow dead_code since this is used in tests
 pub fn read_fixture<T: for<'a> Deserialize<'a>>(filename: &str) -> T {
     let mut file = File::open(filename).unwrap();
     let mut context = String::new();