github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-24 04:40:05 +00:00
Code Issues Projects Releases Wiki Activity

fix semantic tests

Browse source
This commit is contained in:
schaeff 2019-07-05 22:04:12 +02:00
parent 4eba51401b
commit fc7bcd320e
1 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
zokrates_core/src/semantics.rs
View file

@ -1286,7 +1286,7 @@ mod tests {
checker.check_statement(statement, &vec![]),
Err(Error {
pos: Some((Position::mock(), Position::mock())),
message: "Identifier is undefined: b".to_string()
message: "Identifier \"b\" is undefined".to_string()
})
);
}
@ -1387,7 +1387,7 @@ mod tests {
checker.check_module(module, &mut HashMap::new(), &mut HashMap::new()),
Err(vec![Error {
pos: Some((Position::mock(), Position::mock())),
message: "Identifier is undefined: a".to_string()
message: "Identifier \"a\" is undefined".to_string()
}])
);
}
@ -1533,7 +1533,7 @@ mod tests {
checker.check_function(foo),
Err(vec![Error {
pos: Some((Position::mock(), Position::mock())),
message: "Identifier is undefined: i".to_string()
message: "Identifier \"i\" is undefined".to_string()
}])
);
}
@ -1815,7 +1815,7 @@ mod tests {
checker.check_module(module, &mut HashMap::new(), &mut HashMap::new()),
Err(vec![Error {
pos: Some((Position::mock(), Position::mock())),
message: "Identifier is undefined: x".to_string()
message: "Identifier \"x\" is undefined".to_string()
}])
);
}
@ -1884,7 +1884,7 @@ mod tests {
checker.check_function(bar),
Err(vec![Error {
pos: Some((Position::mock(), Position::mock())),
message: "Identifier is undefined: a".to_string()
message: "Identifier \"a\" is undefined".to_string()
}])
);
}