Fix CI.

CHERIoT-Platform · Oct 14, 2024 · 541d1b3 · 541d1b3
1 parent f26cb4d
commit 541d1b3
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 2 deletions.
diff --git a/compile_flags.txt b/compile_flags.txt
@@ -35,6 +35,8 @@ riscv32-unknown-unknown
 -Ilib/tcpip
 -Ilib/tls
 -Iinclude
+-DCHERIOT_RTOS_OPTION_FORCE_NON_UNIQUE_MAC=true
+-DCHERIOT_RTOS_OPTION_NETWORK_INJECT_FAULTS=true
 -DCHERIOT_RTOS_OPTION_IPv6
 -DDEBUG_LOADER=false
 -DDEBUG_ALLOCATOR=false

diff --git a/lib/firewall/firewall.cc b/lib/firewall/firewall.cc
@@ -427,7 +427,7 @@ namespace
 			SmallTable<int> testSmallTableZeroLength(0);
 			testSmallTableZeroLength.contains(1);
 
-      Debug::log("Testing small table pointer-based remove");
+			Debug::log("Testing small table pointer-based remove");
 			testSmallTable.insert(1);
 			testSmallTable.remove(testSmallTable.begin());
 			Debug::Assert(

diff --git a/lib/tcpip/driver_adaptor.cc b/lib/tcpip/driver_adaptor.cc
@@ -117,7 +117,8 @@ bool __cheri_compartment("TCPIP")
 		  {
 			  if (faultInjected)
 			  {
-				  ConditionalDebug<true, "Ethernet Adaptor">::log("Triggering crash");
+				  ConditionalDebug<true, "Ethernet Adaptor">::log(
+				    "Triggering crash");
 				  faultInjected = false;
 				  // Inject a fault by giving the frame an incorrect length.
 				  // This will cause the TCP/IP stack to read beyond the end.