Function test_string_error_optimization

src/optimizations/string_error.rs:64–111

()

    #[test]
    fn test_string_error_optimization() -> eyre::Result<()> {
        //test when base solidiy version is > than 0.8.4
        let file_contents = r#"
                 pragma solidity >=0.8.13;
             
                 contract Contract0 {
                     function addressInternalBalance() public returns (uint256) {
             
                         require(true, "some message");
             
                         require(true && a==b, "some message");
                         require(true && a==b && b==c, "thing");
             
                         return address(this).balance;
                     }
                 }
                 "#;

        let mut source = MockSource::new().add_source("string_error.solx", file_contents);
        let optimization_locations = StringError::find(&mut source.source);

        assert_eq!(optimization_locations.unwrap().len(), 3);

        //test when base solidiy version is < than 0.8.4
        let file_contents_1 = r#"
                 pragma solidity <= 0.8.3;
             
                 contract Contract0 {
                     function addressInternalBalance() public returns (uint256) {
             
                         require(true, "some message");
             
                         require(true && a==b, "some message");
                         require(true && a==b && b==c, "thing");
             
                         return address(this).balance;
                     }
                 }
                 "#;

        source = MockSource::new().add_source("string_error_0.sol", file_contents_1);

        let optimization_locations_1 = StringError::find(&mut source.source)?;

        assert_eq!(optimization_locations_1.len(), 0);

        Ok(())
    }
}