Acknowledging SMT-LIB support in header comment

cksystemsteaching · Jun 27, 2024 · 11b68c8 · 11b68c8
1 parent d3abb56
commit 11b68c8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/rotor.c b/tools/rotor.c
@@ -10,7 +10,7 @@ in Austria. For further information and code please refer to:
 selfie.cs.uni-salzburg.at
 
 Rotor is a tool for bit-precise reasoning about RISC-V machines
-and RISC-V code using BTOR2 as intermediate modeling format.
+and RISC-V code using BTOR2 and SMT-LIB as modeling format.
 
 Rotor generates models of 64-bit and 32-bit RISC-V machines
 supporting 64-bit and 32-bit integer arithmetic (RV64I, RV32I)