update

Author: keram88

lib/smack/Prelude.cpp

@@ -1590,10 +1590,10 @@ void FpOpGen::generateConvOps(std::stringstream &s) const {
       auto exp = FP_LAYOUT.at(bw).first;
       auto sig = FP_LAYOUT.at(bw).second;
       std::string type = getFpTypeName(bw);
-      s << uninterpretedOp("$fpext", {type, name}, makeFpVars(1, 0), name) << "\n";
-      s << uninterpretedOp("$fptrunc", {type, name}, makeFpVars(1, 0), name) << "\n";
-      s << uninterpretedOp("$fpext", {name, type}, makeFpVars(1, 0), type) << "\n";
-      s << uninterpretedOp("$fptrunc", {name, type}, makeFpVars(1, 0), type) << "\n";
+      s << uninterpretedOp("$fpext", {type, "float"}, makeFpVars(1, 0), name) << "\n";
+      s << uninterpretedOp("$fptrunc", {type, "float"}, makeFpVars(1, 0), name) << "\n";
+      s << uninterpretedOp("$fpext", {"float", type}, makeFpVars(1, 0), type) << "\n";
+      s << uninterpretedOp("$fptrunc", {"float", type}, makeFpVars(1, 0), type) << "\n";
     }
   }
 }