Test main

Source location: tests/codegen.rs:63

fn main() -> () { println!(1_u32); }
}];
alityTest::new(program).expect_output("1\n").ok();
}

#[test]
_panic(expected = "execution step limit reached after 0 steps")]
tion_limit_zero_allowance_prevents_execution() {
alityTest::new(crates![crate Foo {
fn main() -> () { println!(1_u32); }
}])
cution_step_limit(0)
);
}

#[test]
_panic(expected = "program output mismatch")]
ecks_output_expectation() {
alityTest::new(crates![crate Foo {
fn main() -> () { println!(1_u32); }
}])
ect_output("999\n")
);
}

#[test]
ipped_execution_does_not_check_output() {
program = crates![crate Foo {
fn example() -> () {}
}];

alityTest::new(program)
.expect_output("999\n")
.skip_execute()
.ok();
}

#[test]
_world() {
alityTest::new(crates![crate test {
fn main() -> () {
    println!(22_i32);
}

Rules proved (46)

Premises failed (0)

This test records no negative coverage.

Proof trees

How to read this page