Commit 7eba0ffe authored by Alexander Diewald's avatar Alexander Diewald
Browse files

Z3Backend: Fix Error Message Typo

Issue-Ref: 4064

Signed-off-by: Alexander Diewald's avatarAlexander Diewald <>
parent dfe934c6 c217750b1183c51c4f4952919d70e22b2576d7fa GREEN 709c00ee3e35bee97425af853592829b08ee304f GREEN
......@@ -119,7 +119,7 @@ public class Z3Backend implements IDSEBackend {
return new ScheduleRun(spec, timeout);
} else {
throw new Exception("No applicable " + SolverRun.class.getSimpleName() +
" was found for the given set of syntesises to perform.");
" was found for the given set of synthesises to perform.");
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment