ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-27 20:24:52 +03:00
Code Issues Packages Projects Releases Wiki Activity

add dynamic check errors for statements

Browse Source
This commit is contained in:
collin 2020-10-24 17:01:40 -07:00
parent 22d6c98c77
commit 6e124e52ff
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
compiler/tests/statements/mod.rs
View File

@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License // You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>. // along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
use crate::{assert_satisfied, expect_compiler_error, generate_main_input, parse_program}; use crate::{assert_satisfied, expect_dynamic_check_error, generate_main_input, parse_program};
use leo_typed::InputValue; use leo_typed::InputValue;
pub mod conditional; pub mod conditional;
@ -60,7 +60,7 @@ fn test_iteration_basic() {
#[test] #[test]
fn test_num_returns_fail() { fn test_num_returns_fail() {
let bytes = include_bytes!("num_returns_fail.leo"); let bytes = include_bytes!("num_returns_fail.leo");
let program = parse_program(bytes).unwrap(); let error = parse_program(bytes).err().unwrap();
expect_compiler_error(program); expect_dynamic_check_error(error);
} }