add test framework

Author: kirjavascript

Cargo.lock

@@ -2,16 +2,16 @@
 members = [
 ]
 [package]
-name = "c2rust_out"
-authors = ["C2Rust"]
+name = "z80"
+authors = ["kirjavasciprt"]
 version = "0.0.0"
 publish = false
 edition = "2021"
 autobins = false
 
 [lib]
-name = "c2rust_out"
-path = "c2rust-lib.rs"
+name = "z80"
+path = "lib.rs"
 crate-type = ["staticlib", "rlib"]
 
 [dependencies]

Cargo.toml

@@ -9,3 +9,6 @@
 #[macro_use]
 extern crate c2rust_bitfields;
 pub mod z80;
+
+#[cfg(tests)]
+mod z80_tests;

c2rust-lib.rs renamed to lib.rs

@@ -7,15 +7,23 @@ pub type uint32_t = u32;
 pub const Z80_ASSERT: u32 = 2;
 pub const Z80_PULSE: u32 = 1;
 
-pub trait z80Controller {
+pub trait z80Mem {
     fn read_byte(&self, addr: u16) -> u8;
     fn write_byte(&mut self, addr: u16, value: u8);
 }
 
+impl z80 {
+
+}
+
+// setup tests
+// impl
+// add port to trait
+
 #[derive(BitfieldStruct)]
 #[repr(C)]
 pub struct z80 {
-    pub memory: Box<dyn z80Controller>,
+    pub memory: Box<dyn z80Mem>,
     pub port_in: Option::<unsafe extern "C" fn(*mut z80, uint16_t) -> uint8_t>,
     pub port_out: Option::<unsafe extern "C" fn(*mut z80, uint16_t, uint8_t) -> ()>,
     pub pc: uint16_t,
@@ -45,6 +53,7 @@ pub struct z80 {
     #[bitfield(padding)]
     pub c2rust_padding: [u8; 6],
 }
+
 #[derive(Copy, Clone)]
 #[repr(C)]
 pub union C2RustUnnamed_0 {
@@ -1045,10 +1054,6 @@ pub unsafe extern "C" fn z80_step_n(
     return cyc;
 }
 #[no_mangle]
-pub unsafe extern "C" fn z80_debug_output(z: *mut z80) {
-    !z.is_null();
-}
-#[no_mangle]
 pub unsafe extern "C" fn z80_assert_nmi(z: *mut z80) {
     (*z)
         .nmi_pending = ((*z).nmi_pending as i32 | Z80_ASSERT as i32)

z80.rs

@@ -0,0 +1,8 @@
+use crate::z80;
+
+
+    #[test]
+    pub fn main_0() {
+
+
+    }