From 945ae96707f6b4065c89463047979a18ad8181aa Mon Sep 17 00:00:00 2001 From: Justin Worthe Date: Sun, 1 Jul 2018 21:37:24 +0200 Subject: Started implementation of reading bitwise from json --- tests/expressive_to_bitwise_comparison.rs | 15 ++++++++++++--- 1 file changed, 12 insertions(+), 3 deletions(-) (limited to 'tests/expressive_to_bitwise_comparison.rs') diff --git a/tests/expressive_to_bitwise_comparison.rs b/tests/expressive_to_bitwise_comparison.rs index 1dbbd74..e534fca 100644 --- a/tests/expressive_to_bitwise_comparison.rs +++ b/tests/expressive_to_bitwise_comparison.rs @@ -21,12 +21,21 @@ const STATE_PATH: &str = "tests/state0.json"; #[test] fn reads_into_bitwise_correctly() { - let (_, expressive_state) = input::json::read_expressive_state_from_file(STATE_PATH).expect("Failed to load expressive state"); - let bitwise_state = input::json::read_bitwise_state_from_file(STATE_PATH).expect("Failed to load bitwise state"); + test_reading_from_replay("tests/after_200", 64); +} + +fn test_reading_from_replay(replay_folder: &str, length: usize) { + for i in 0..length { + let state_file = format!("{}/Round {:03}/state.json", replay_folder, i); + + let (_, expressive_state) = input::json::read_expressive_state_from_file(&state_file).expect("Failed to load expressive state"); + let bitwise_state = input::json::read_bitwise_state_from_file(&state_file).expect("Failed to load bitwise state"); - assert_eq!(build_bitwise_from_expressive(&expressive_state), bitwise_state.clone()); + assert_eq!(build_bitwise_from_expressive(&expressive_state), bitwise_state.clone(), "\nFailed on state {}\n", i); + } } + proptest! { #[test] #[ignore] -- cgit v1.2.3