kata-containers/regorus
1
0
Fork 0
mirror of https://github.com/microsoft/regorus.git synced 2026-08-05 02:16:11 +00:00
Code Issues Packages Projects Releases Wiki Activity

Test for multi-assign

Browse Source 
Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com>
This commit is contained in:
Anand Krishnamoorthi
2023-02-26 22:24:22 -08:00
committed by Anand Krishnamoorthi
parent 8e0ddbcff2
commit 32028a311e
1 changed files with 115 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

115
tests/scheduler/mod.rs
View File

@@ -123,3 +123,118 @@ fn case2_rewritten() -> Result<()> {
check_result(&stmts[..], &expected[..], schedule(&mut infos)?)
}
#[test]
fn case3() -> Result<()> {
#[rustfmt::skip]
let stmts = vec![
r#"[x, {"p":p}] = [y, t]"#,
r#"t = {"p":8, "p":6}"#,
"value = x + y + p",
"y = 5",
];
#[rustfmt::skip]
let expected = vec![
r#"t = {"p":8, "p":6}"#,
"y = 5",
r#"[x, {"p":p}] = [y, t]"#,
"value = x + y + p",
];
let mut infos = vec![
make_info(&[("x", &["y"]), ("p", &["t"])]),
make_info(&[("t", &[])]),
make_info(&[("value", &["x", "y", "p"])]),
make_info(&[("y", &[])]),
];
check_result(&stmts[..], &expected[..], schedule(&mut infos)?)
}
#[test]
fn case4_cycle() -> Result<()> {
#[rustfmt::skip]
let stmts = vec![
r#"[x, {"p":p}] = [y, t]"#,
r#"t = {"p":x}"#,
"value = x + y + p",
"y = 5",
];
// Rest of the statements cannot be processed due to cycle.
#[rustfmt::skip]
let expected = vec![
"y = 5",
];
let mut infos = vec![
make_info(&[("x", &["y"]), ("p", &["t"])]),
make_info(&[("t", &["x"])]),
make_info(&[("value", &["x", "y", "p"])]),
make_info(&[("y", &[])]),
];
// TODO: check cycle
check_result(&stmts[..], &expected[..], schedule(&mut infos)?)
}
#[test]
fn case4_no_cycle() -> Result<()> {
#[rustfmt::skip]
let stmts = vec![
r#"[x, {"p":p}] = [y, {"p":x}]"#,
"value = x + y + p",
"y = 5",
];
// Rest of the statements cannot be processed due to cycle.
#[rustfmt::skip]
let expected = vec![
"y = 5",
r#"[x, {"p":p}] = [y, {"p":x}]"#,
"value = x + y + p",
];
let mut infos = vec![
make_info(&[("x", &["y"]), ("p", &["x"])]),
make_info(&[("value", &["x", "y", "p"])]),
make_info(&[("y", &[])]),
];
// TODO: check cycle
check_result(&stmts[..], &expected[..], schedule(&mut infos)?)
}
#[test]
fn case4_cycle_removed_via_split_multi_assign() -> Result<()> {
#[rustfmt::skip]
let stmts = vec![
r#"x = y"#,
r#"{"p":p} = t"#,
r#"t = {"p":x}"#,
"value = x + y + p",
"y = 5",
];
// Rest of the statements cannot be processed due to cycle.
#[rustfmt::skip]
let expected = vec![
"y = 5",
r#"x = y"#,
r#"t = {"p":x}"#,
r#"{"p":p} = t"#,
"value = x + y + p",
];
let mut infos = vec![
make_info(&[("x", &["y"])]),
make_info(&[("p", &["t"])]),
make_info(&[("t", &["x"])]),
make_info(&[("value", &["x", "y", "p"])]),
make_info(&[("y", &[])]),
];
// TODO: check cycle
check_result(&stmts[..], &expected[..], schedule(&mut infos)?)
}