Increase AssertionError arguments allowed from 2 to 3

JohnDumbell · JohnDumbell · commit cadeedffcb00 · 2018-03-27T10:30:09.000+01:00
There is a constructor for this class with 2 arguments plus implied this.
diff --git a/src/goto-programs/builtin_functions.cpp b/src/goto-programs/builtin_functions.cpp
@@ -969,7 +969,7 @@ void goto_convertt::do_function_call_symbol(
 
     copy(function_call, FUNCTION_CALL, dest);
 
-    if(arguments.size()!=1 && arguments.size()!=2 && arguments.size()!=3)
+    if(arguments.size() != 1 && arguments.size() != 2 && arguments.size() != 3)
     {
       error().source_location=function.find_source_location();
       error() << "`" << identifier

Original file line number	Diff line number	Diff line change
`@@ -969,7 +969,7 @@ void goto_convertt::do_function_call_symbol(`
`969`	`969`
`970`	`970`	`copy(function_call, FUNCTION_CALL, dest);`
`971`	`971`
`972`		`- if(arguments.size()!=1 && arguments.size()!=2 && arguments.size()!=3)`
	`972`	`+ if(arguments.size() != 1 && arguments.size() != 2 && arguments.size() != 3)`
`973`	`973`	`{`
`974`	`974`	`error().source_location=function.find_source_location();`
`975`	`975`	error() << "`" << identifier