]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Fix more output files for parameter_handler_25
authorDaniel Arndt <arndtd@ornl.gov>
Thu, 13 Jul 2023 14:32:38 +0000 (10:32 -0400)
committerDaniel Arndt <arndtd@ornl.gov>
Fri, 14 Jul 2023 11:52:25 +0000 (07:52 -0400)
tests/parameter_handler/parameter_handler_25.output.gcc-12
tests/parameter_handler/parameter_handler_25.output.std
tests/parameter_handler/parameter_handler_25.output2

index 18da17bddd5aa0bce64e0653e6434eb4ca0a9a89..6985ee4ab88e24c48ff853ed06c5a9a3d0edf81d 100644 (file)
@@ -16,7 +16,7 @@ DEAL::
 An error occurred in file <parameter_handler.cc> in function
     void dealii::ParameterHandler::assert_that_entries_have_been_set() const
 The violated condition was: 
-    entries_wrongly_not_set.size() == 0
+    entries_wrongly_not_set.empty()
 Additional information: 
     Not all entries of the parameter handler that were declared with
     `has_to_be_set = true` have been set. The following parameters
index 85d0dedf823e7432016c2a7a79f08ab56e27636a..d139d9cf5d720043a938277762956343515ece7f 100644 (file)
@@ -16,7 +16,7 @@ DEAL::
 An error occurred in file <parameter_handler.cc> in function
     void dealii::ParameterHandler::assert_that_entries_have_been_set() const
 The violated condition was: 
-    entries_wrongly_not_set.size() == 0
+    entries_wrongly_not_set.empty()
 Additional information: 
     Not all entries of the parameter handler that were declared with
     `has_to_be_set = true` have been set. The following parameters
index 23c8e4fccd7d8d3b8408a693d87c64eb39516739..62165e4aaf71b47120244b3716c0fe6e170afa0f 100644 (file)
@@ -16,7 +16,7 @@ DEAL::
 An error occurred in file <parameter_handler.cc> in function
     void dealii::ParameterHandler::assert_that_entries_have_been_set() const
 The violated condition was: 
-    entries_wrongly_not_set.size() == 0
+    entries_wrongly_not_set.empty()
 Additional information: 
     Not all entries of the parameter handler that were declared with
     `has_to_be_set = true` have been set. The following parameters

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.