autoformat

Author: ailrst

src/main/scala/ir/IRCursor.scala

@@ -316,7 +316,6 @@ def dotBlockGraph(blocks: Iterable[Block], orphaned: Set[Block]): String = {
   toDot[Block](blocks.toSet, IntraProcBlockIRCursor, labels, orphaned)
 }
 
-
 def dotBlockGraph(program: Procedure, labels: Map[CFGPosition, String]): String = {
   val domain = computeDomain[CFGPosition, Block](IntraProcBlockIRCursor, program.blocks.toSet)
   val o = getDetachedBlocks(program).reachableFromBlockEmptyPred

src/main/scala/ir/IRType.scala

@@ -26,8 +26,8 @@ case class MapType(param: IRType, result: IRType) extends IRType(s"[$param]$resu
 def coerceToBool(e: Expr): Expr = {
   e.getType match {
     case BitVecType(s) => BinaryExpr(BVNEQ, e, BitVecLiteral(0, s))
-    case IntType       => BinaryExpr(IntNEQ, e, IntLiteral(0))
-    case BoolType      => e
+    case IntType => BinaryExpr(IntNEQ, e, IntLiteral(0))
+    case BoolType => e
     case MapType(_, _) => ???
   }
 }