CSY/reowolf Files · src/macros.rs · Centrum Wiskunde & Informatica (CWI)

Files @ 20e64ced68b1

Branch filter:

Location: CSY/reowolf/src/macros.rs

20e64ced68b1 386 B application/rls-services+xml Show Annotation Show as Raw Download as Raw

Christopher Esterhuyse

reversed a predicate simplification; turns out to break the mutual inconsistency property of native branches in some corner cases where 3+ branches have colliding predicates

macro_rules! endptlog {
    ($logger:expr, $($arg:tt)*) => {{
    	if cfg!(feature = "endpoint_logging") {
	        if let Some(w) = $logger.line_writer() {
	        	let _ = writeln!(w, $($arg)*);
	        }
	    }
    }};
}
macro_rules! log {
    ($logger:expr, $($arg:tt)*) => {{
    	if let Some(w) = $logger.line_writer() {
        	let _ = writeln!(w, $($arg)*);
    	}
    }};
}