configure rustfmt with paper-friendly rules

examples/eq.rs

@@ -136,7 +136,11 @@ fn main() {
   }
 }
 
-fn periodic(STATE: &mut State, TIMEOUT_CNTR: &mut u32, data: &Data) {
+fn periodic(
+  STATE: &mut State,
+  TIMEOUT_CNTR: &mut u32,
+  data: &Data,
+) {
   *STATE = match STATE {
     S8000 => match (data.a, data.b) {
       (F, F) => S8001,

examples/model.rs

@@ -21,7 +21,10 @@ impl<'a> Device<'a> {
     klee::kassume(v < 32);
     v
   }
-    pub unsafe fn write(&self, v: u32) {
+  pub unsafe fn write(
+    &self,
+    v: u32,
+  ) {
     klee::kassert!(v < 32);
     let v = self.ptr.write(v);
   }

examples/model2.rs

@@ -19,7 +19,10 @@ impl RegA {
     klee::kassume(v < 32);
     v
   }
-    pub unsafe fn write(&self, v: u32) {
+  pub unsafe fn write(
+    &self,
+    v: u32,
+  ) {
     klee::kassert!(v < 32);
     let v = self.0.write(v);
   }
@@ -37,7 +40,10 @@ impl RegB {
       STATE
     }
   }
-    pub unsafe fn write(&self, v: u32) {
+  pub unsafe fn write(
+    &self,
+    v: u32,
+  ) {
     STATE = v;
   }
 }

examples/model3.rs

@@ -28,7 +28,10 @@ impl RegC {
     }
     v
   }
-    pub unsafe fn write(&self, v: u32) {
+  pub unsafe fn write(
+    &self,
+    v: u32,
+  ) {
     OLD_STATE = v;
   }
 }

examples/model4.rs

@@ -27,7 +27,10 @@ impl RegC {
     }
   }
 
-    pub unsafe fn write(&self, v: u32) {
+  pub unsafe fn write(
+    &self,
+    v: u32,
+  ) {
     OLD_STATE = v;
   }
 }

rustfmt.toml

+tab_spaces = 2
+fn_args_density = "Vertical"

src/main.rs

@@ -85,7 +85,11 @@ const DISCREPENCY: u32 = 4;
 const T: bool = true;
 const F: bool = false;
 
-fn periodic(STATE: &mut State, TIMEOUT_CNTR: &mut u32, DATA: &mut Data) {
+fn periodic(
+  STATE: &mut State,
+  TIMEOUT_CNTR: &mut u32,
+  DATA: &mut Data,
+) {
   // we start directly in the init state S80001
   // static mut STATE: State = State::S8001;
   // static mut TIMEOUT_CNTR: u32 = 0;