Firmware exercise rego whitespace fix

marnovandermaas · marnovandermaas · commit 62fa67393e08 · 2025-01-17T14:07:16.000Z
Add new lines after every rule.
diff --git a/exercises/firmware_auditing/part_2/interrupt_disables.rego b/exercises/firmware_auditing/part_2/interrupt_disables.rego
@@ -18,6 +18,7 @@ required_disabled_interrupts := [
         #"functions": {"not_allowed()"}
     }
 ]
+
 required_compartments := {x.compartment | x = required_disabled_interrupts[_]}
 
 all_exports := [
@@ -38,6 +39,7 @@ patched_export_entry_demangle(compartment, export_symbol) := demangled {
     modified_export = concat("", ["__export_", substring(export_symbol, 17, -1)])
     demangled := export_entry_demangle(compartment, modified_export)
 }
+
 patched_export_entry_demangle(compartment, export_symbol) := demangled {
     not startswith(export_symbol, "__library_export_")
     demangled := export_entry_demangle(compartment, export_symbol)

Original file line number	Diff line number	Diff line change
`@@ -18,6 +18,7 @@ required_disabled_interrupts := [`
`18`	`18`	`#"functions": {"not_allowed()"}`
`19`	`19`	`}`
`20`	`20`	`]`
	`21`	`+`
`21`	`22`	`required_compartments := {x.compartment \| x = required_disabled_interrupts[_]}`
`22`	`23`
`23`	`24`	`all_exports := [`
`@@ -38,6 +39,7 @@ patched_export_entry_demangle(compartment, export_symbol) := demangled {`
`38`	`39`	`modified_export = concat("", ["__export_", substring(export_symbol, 17, -1)])`
`39`	`40`	`demangled := export_entry_demangle(compartment, modified_export)`
`40`	`41`	`}`
	`42`	`+`
`41`	`43`	`patched_export_entry_demangle(compartment, export_symbol) := demangled {`
`42`	`44`	`not startswith(export_symbol, "__library_export_")`
`43`	`45`	`demangled := export_entry_demangle(compartment, export_symbol)`